18package com.microsoft.z3;
32 return new FuncDecl<>(getContext(), Native.getTupleSortMkDecl(getContext()
33 .nCtx(), getNativeObject()));
41 return Native.getTupleSortNumFields(getContext().nCtx(), getNativeObject());
53 for (
int i = 0; i < n; i++)
54 res[i] =
new FuncDecl<>(getContext(), Native.getTupleSortFieldDecl(
55 getContext().nCtx(), getNativeObject(), i));
62 super(ctx, Native.mkTupleSort(ctx.
nCtx(), name.getNativeObject(),
65 new long[numFields]));
FuncDecl< TupleSort > mkDecl()
FuncDecl<?>[] getFieldDecls()
static long[] arrayToNative(Z3Object[] a)