18 package com.microsoft.z3;
43 for (
int i = 0; i < n; i++)
45 getContext().nCtx(), getNativeObject(), i));
58 for (
int i = 0; i < n; i++)
60 getContext().nCtx(), getNativeObject(), i));
74 for (
int i = 0; i < n; i++)
78 getNativeObject(), i));
81 for (
int j = 0; j < ds; j++)
84 .nCtx(), getNativeObject(), i, j));
95 DatatypeSort(Context ctx, Symbol name, Constructor[] constructors)
98 super(ctx, Native.mkDatatype(ctx.nCtx(), name.getNativeObject(),
99 (int) constructors.length, arrayToNative(constructors)));
FuncDecl[] getRecognizers()
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)