Module z3tracer::model [−][src]
Expand description
Main analyzer module.
Structs
Information on a truth assignment.
Information on a conflict.
Main state of the Z3 tracer.
Configuration for the analysis of Z3 traces.
Information on a QI instance that is pending (i.e. waiting for
[end-instance]
).
Information on justifications by proof terms.
Information on a Quantifier Instantiation.
Quantifier instantiation data.
Information on a scope.
Scoped information on a term.
Information on a term in the model.