Module z3tracer::syntax [−][src]
Expand description
Terms and data structures found in Z3 logs.
Structs
An identifier such as #45 or foo#23.
A literal (i.e. a signed identifier).
Additional data attached to a term (e.g. integer values).
Data specific to an instance of a quantifier instantiation (i.e. gathered
between [instance] and [end-instance]).
The hexadecimal index of a quantifier instantiation (QI).
A parameter declaration.
Enums
Description of an E-matching step.
Description of a term matching a trigger in NewMatch.
A quantifier instantiation as declared by [inst-discovered] or [new-match].
Concrete representation of a term.
Traits
Visitor trait for syntactic constructs.