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));
100 DatatypeSort(Context ctx, Symbol name, Constructor[] constructors)
103 super(ctx, Native.mkDatatype(ctx.nCtx(), name.getNativeObject(),
104 constructors.length, arrayToNative(constructors)));