Module z3tracer::syntax [−][src]
Terms and data structures found in Z3 logs.
Structs
Ident | An identifier such as |
Literal | A literal (i.e. a signed identifier). |
Meaning | Additional data attached to a term (e.g. integer values). |
QiKey | The hexadecimal index of a quantifier instantiation (QI). |
QuantInstantiation | Quantifier instantiation. |
QuantInstantiationData | Quantifier instantiation (shared data). |
VarName | A parameter declaration. |
Enums
Equality | Description of an E-matching step. |
MatchedTerm | Description of a term matching a trigger in |
QuantInstantiationKind | Quantifier instantiation (case-specific data). |
Term | Concrete representation of a term. |
Traits
Visitor | Visitor trait for syntactic constructs. |