18package com.microsoft.z3;
20import com.microsoft.z3.Native.LongPtr;
94 elemSort.getNativeObject(),
96 new LongPtr(),
new LongPtr(),
new LongPtr()));
Expr mkApp(FuncDecl f, Expr... args)
static long getDatatypeSortConstructorAccessor(long a0, long a1, int a2, int a3)
static long mkListSort(long a0, long a1, long a2, LongPtr a3, LongPtr a4, LongPtr a5, LongPtr a6, LongPtr a7, LongPtr a8)
static long getDatatypeSortConstructor(long a0, long a1, int a2)
static long getDatatypeSortRecognizer(long a0, long a1, int a2)