18 package com.microsoft.z3;
46 for (
int i = 0; i < n; i++)
48 getContext().nCtx(), getNativeObject(), i));
62 for (
int i = 0; i < n; i++)
64 getContext().nCtx(), getNativeObject(), i));
79 for (
int i = 0; i < n; i++)
83 getNativeObject(), i));
86 for (
int j = 0; j < ds; j++)
89 .nCtx(), getNativeObject(), i, j));
104 constructors.length, arrayToNative(constructors)));
FuncDecl [] getRecognizers()
static long mkDatatype(long a0, long a1, int a2, long[] a3)
static long getDatatypeSortRecognizer(long a0, long a1, int a2)
FuncDecl [] getConstructors()
FuncDecl [][] getAccessors()
static long getDatatypeSortConstructor(long a0, long a1, int a2)
static int getDatatypeSortNumConstructors(long a0, long a1)
static long getDatatypeSortConstructorAccessor(long a0, long a1, int a2, int a3)