Trait smt2parser::visitors::SymbolVisitor

pub trait SymbolVisitor {
    type T;
    type E;
    fn visit_fresh_symbol(
        &mut self, 
        value: String, 
        kind: SymbolKind
    ) -> Result<Self::T, Self::E>;

    fn visit_bound_symbol(&mut self, value: String) -> Result<Self::T, Self::E> { ... }
    fn visit_any_symbol(&mut self, value: String) -> Result<Self::T, Self::E> { ... }
    fn bind_symbol(&mut self, _symbol: &Self::T) { ... }
    fn unbind_symbol(&mut self, _symbol: &Self::T) { ... }
}

Associated Types

type T

type E

Required methods

fn visit_fresh_symbol(
    &mut self,
    value: String,
    kind: SymbolKind
) -> Result<Self::T, Self::E>

Provided methods

fn visit_bound_symbol(&mut self, value: String) -> Result<Self::T, Self::E>

fn visit_any_symbol(&mut self, value: String) -> Result<Self::T, Self::E>

fn bind_symbol(&mut self, _symbol: &Self::T)

fn unbind_symbol(&mut self, _symbol: &Self::T)

Implementors

impl SymbolVisitor for SyntaxBuilder

type T = Symbol

type E = Error

impl SymbolVisitor for Smt2Counters

type T = ()

type E = Error

impl<R, V> SymbolVisitor for R where
    R: Rewriter<V = V>,
    V: Smt2Visitor, 

type T = V::Symbol

type E = R::Error