18 package com.microsoft.z3;
33 .nCtx(), getNativeObject()));
53 for (
int i = 0; i < n; i++)
55 getContext().nCtx(), getNativeObject(), i));
63 numFields,
Symbol.arrayToNative(fieldNames),
65 new long[numFields]));
FuncDecl [] getFieldDecls()
static long getTupleSortFieldDecl(long a0, long a1, int a2)
static long mkTupleSort(long a0, long a1, int a2, long[] a3, long[] a4, LongPtr a5, long[] a6)
static int getTupleSortNumFields(long a0, long a1)
static long getTupleSortMkDecl(long a0, long a1)