Trait smt2parser::visitors::SymbolVisitor [−][src]
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) { ... }
}