Enum z3tracer::syntax::QiFrame [−][src]
pub enum QiFrame { Discovered { method: String, quantifier: Ident, terms: Vec<Ident>, blame: Vec<Ident>, }, NewMatch { quantifier: Ident, trigger: Ident, terms: Vec<Ident>, used: Vec<MatchedTerm>, }, }
Expand description
A quantifier instantiation as declared by [inst-discovered] or [new-match].
Variants
Implementations
Id of the quantifier term.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for QiFrame
impl UnwindSafe for QiFrame
Blanket Implementations
Mutably borrows from an owned value. Read more