Trait z3tracer::syntax::Visitor

pub trait Visitor<'a, F, E> {
    fn visit(&'a self, f: &mut F) -> Result<(), E>;
}

Visitor trait for syntactic constructs.

Required methods

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

Implementations on Foreign Types

impl<'a, T, F, E> Visitor<'a, F, E> for Vec<T> where
    T: Visitor<'a, F, E>, 

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

impl<'a, T, F, E> Visitor<'a, F, E> for Option<T> where
    T: Visitor<'a, F, E>, 

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

impl<'a, T1, T2, F, E> Visitor<'a, F, E> for (T1, T2) where
    T1: Visitor<'a, F, E>,
    T2: Visitor<'a, F, E>, 

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

Implementors

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

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

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

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

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

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

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