ApplyResult objects represent the result of an application of a tactic to a goal. It contains the subgoals that were produced. More...
Data Structures | |
class | DecRefQueue |
Public Member Functions | |
Model | ConvertModel (uint i, Model m) |
Convert a model for the subgoal i into a model for the original goal g , that the ApplyResult was obtained from. More... | |
override string | ToString () |
A string representation of the ApplyResult. More... | |
![]() | |
void | Dispose () |
Disposes of the underlying native Z3 object. More... | |
Properties | |
uint | NumSubgoals [get] |
The number of Subgoals. More... | |
Goal [] | Subgoals [get] |
Retrieves the subgoals from the ApplyResult. More... | |
ApplyResult objects represent the result of an application of a tactic to a goal. It contains the subgoals that were produced.
Definition at line 30 of file ApplyResult.cs.
Convert a model for the subgoal i into a model for the original goal g
, that the ApplyResult was obtained from.
g
Definition at line 63 of file ApplyResult.cs.
|
inline |
A string representation of the ApplyResult.
Definition at line 74 of file ApplyResult.cs.
|
get |
The number of Subgoals.
Definition at line 36 of file ApplyResult.cs.
Referenced by Goal.Simplify().
|
get |
Retrieves the subgoals from the ApplyResult.
Definition at line 44 of file ApplyResult.cs.
Referenced by Goal.Simplify().