Struct z3tracer::syntax::QuantInstantiation

pub struct QuantInstantiation {
    pub kind: QuantInstantiationKind,
    pub data: Option<QuantInstantiationData>,
}

Quantifier instantiation.

Fields

kind: QuantInstantiationKind

data: Option<QuantInstantiationData>

Trait Implementations

impl Clone for QuantInstantiation

fn clone(&self) -> QuantInstantiation

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for QuantInstantiation

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

Formats the value using the given formatter.

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

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