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. |