Public Member Functions | |
int | getNumSubgoals () |
Goal[] | getSubgoals () |
String | toString () |
Additional Inherited Members | |
Static Public Member Functions inherited from Z3Object | |
static long[] | arrayToNative (Z3Object[] a) |
static int | arrayLength (Z3Object[] a) |
ApplyResult objects represent the result of an application of a tactic to a goal. It contains the subgoals that were produced.
Definition at line 24 of file ApplyResult.java.
|
inline |
The number of Subgoals.
Definition at line 28 of file ApplyResult.java.
Referenced by ApplyResult.getSubgoals(), and Goal.simplify().
|
inline |
Retrieves the subgoals from the ApplyResult.
Z3Exception |
Definition at line 39 of file ApplyResult.java.
Referenced by Goal.simplify().
|
inline |
A string representation of the ApplyResult.
Definition at line 53 of file ApplyResult.java.