18 package com.microsoft.z3;
44 for (
int i = 0; i < n; i++)
45 res[i] =
new Goal(getContext(),
59 return new Model(getContext(),
73 return "Z3Exception: " + e.getMessage();
82 void incRef(
long o)
throws Z3Exception
84 getContext().applyResult_DRQ().incAndClear(getContext(), o);
88 void decRef(
long o)
throws Z3Exception
90 getContext().applyResult_DRQ().add(o);
Model convertModel(int i, Model m)
static int applyResultGetNumSubgoals(long a0, long a1)
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)