18 package com.microsoft.z3;
43 for (
int i = 0; i < n; i++)
44 res[i] =
new Goal(getContext(),
58 return new Model(getContext(),
81 void addToReferenceQueue() {
Model convertModel(int i, Model m)
static int applyResultGetNumSubgoals(long a0, long a1)
static void applyResultIncRef(long a0, long a1)
void storeReference(Context ctx, T obj)
IDecRefQueue< ApplyResult > getApplyResultDRQ()
static String applyResultToString(long a0, long a1)
static long applyResultConvertModel(long a0, long a1, int a2, long a3)
static long applyResultGetSubgoal(long a0, long a1, int a2)
def String(name, ctx=None)