Go to the source code of this file.
Data Structures | |
class | ApplyResult |
ApplyResult objects represent the result of an application of a tactic to a goal. It contains the subgoals that were produced. More... | |
class | ApplyResult.DecRefQueue |
Namespaces | |
namespace | Microsoft.Z3 |