|Model||ConvertModel (uint i, Model m)|
|Convert a model for the subgoal i into a model for the original goal |
|override string||ToString ()|
|A string representation of the ApplyResult. |
|Public Member Functions inherited from Z3Object|
|Disposes of the underlying native Z3 object. |
|The number of Subgoals. |
|Retrieves the subgoals from the ApplyResult. |
ApplyResult objects represent the result of an application of a tactic to a goal. It contains the subgoals that were produced.
Convert a model for the subgoal i into a model for the original goal
g, that the ApplyResult was obtained from.