Module z3tracer::model [−][src]
Expand description
Main analyzer module.
Structs
| Assignment | Information on a truth assignment. |
| Conflict | Information on a conflict. |
| Model | Main state of the Z3 tracer. |
| ModelConfig | Configuration for the analysis of Z3 traces. |
| PendingQiInstance | Information on a QI instance that is pending (i.e. waiting for
|
| ProofRef | Information on justifications by proof terms. |
| QiRef | Information on a Quantifier Instantiation. |
| QuantInstantiation | Quantifier instantiation data. |
| Scope | Information on a scope. |
| ScopedTermData | Scoped information on a term. |
| TermData | Information on a term in the model. |