Struct z3tracer::syntax::QiInstance [−][src]
pub struct QiInstance { pub generation: Option<u64>, pub term: Option<Ident>, pub enodes: Vec<Ident>, }
Expand description
Data specific to an instance of a quantifier instantiation (i.e. gathered between [instance] and [end-instance]).
Fields
generation: Option<u64>
term: Option<Ident>
enodes: Vec<Ident>
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for QiInstance
impl Send for QiInstance
impl Sync for QiInstance
impl Unpin for QiInstance
impl UnwindSafe for QiInstance
Blanket Implementations
Mutably borrows from an owned value. Read more