Trait smt2parser::visitors::SymbolVisitor [−][src]
pub trait SymbolVisitor { type T; type E; fn visit_fresh_symbol(&mut self, value: String) -> 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
Required methods
Provided methods
fn bind_symbol(&mut self, _symbol: &Self::T)
fn unbind_symbol(&mut self, _symbol: &Self::T)