Struct z3tracer::syntax::QuantInstantiationData

pub struct QuantInstantiationData {
    pub generation: Option<u64>,
    pub term: Ident,
    pub enodes: Vec<Ident>,
}

Quantifier instantiation (shared data).

Fields

generation: Option<u64>

term: Ident

enodes: Vec<Ident>

Trait Implementations

impl Clone for QuantInstantiationData

fn clone(&self) -> QuantInstantiationData

Returns a copy of the value.

pub fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for QuantInstantiationData

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'a, F, E> Visitor<'a, F, E> for QuantInstantiationData where
    F: FnMut(&'a Ident) -> Result<(), E>, 

fn visit(&'a self, f: &mut F) -> Result<(), E>