Public Member Functions | |
int | getNumSubgoals () |
Goal[] | getSubgoals () |
Model | convertModel (int i, Model m) |
String | toString () |
![]() | |
void | dispose () |
![]() | |
void | dispose () |
Additional Inherited Members | |
![]() | |
void | finalize () |
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.
Convert a model for the subgoal
into a model for the original goal
, that the ApplyResult was obtained from.
Z3Exception |
Definition at line 57 of file ApplyResult.java.
|
inline |
The number of Subgoals.
Definition at line 29 of file ApplyResult.java.
Referenced by ApplyResult.getSubgoals(), and Goal.simplify().
|
inline |
Retrieves the subgoals from the ApplyResult.
Z3Exception |
Definition at line 40 of file ApplyResult.java.
Referenced by Goal.simplify().
|
inline |
A string representation of the ApplyResult.
Definition at line 66 of file ApplyResult.java.