18package 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));
100 DatatypeSort(Context ctx, Symbol name, Constructor[] constructors)
103 super(ctx, Native.mkDatatype(ctx.nCtx(), name.getNativeObject(),
104 constructors.length, arrayToNative(constructors)));
FuncDecl[] getConstructors()
FuncDecl[][] getAccessors()
FuncDecl[] getRecognizers()
static long getDatatypeSortConstructorAccessor(long a0, long a1, int a2, int a3)
static int getDatatypeSortNumConstructors(long a0, long a1)
static long getDatatypeSortConstructor(long a0, long a1, int a2)
static long getDatatypeSortRecognizer(long a0, long a1, int a2)