Trait smt2parser::visitors::SExprVisitor [−][src]
pub trait SExprVisitor<Constant, Symbol, Keyword> { type T; type E; fn visit_constant_s_expr(
&mut self,
value: Constant
) -> Result<Self::T, Self::E>; fn visit_symbol_s_expr(&mut self, value: Symbol) -> Result<Self::T, Self::E>; fn visit_keyword_s_expr(
&mut self,
value: Keyword
) -> Result<Self::T, Self::E>; fn visit_application_s_expr(
&mut self,
values: Vec<Self::T>
) -> Result<Self::T, Self::E>; }
Associated Types
Required methods
fn visit_constant_s_expr(&mut self, value: Constant) -> Result<Self::T, Self::E>
fn visit_symbol_s_expr(&mut self, value: Symbol) -> Result<Self::T, Self::E>
fn visit_keyword_s_expr(&mut self, value: Keyword) -> Result<Self::T, Self::E>
Implementors
impl<R, V> SExprVisitor<<V as Smt2Visitor>::Constant, <V as Smt2Visitor>::Symbol, <V as Smt2Visitor>::Keyword> for R where
R: Rewriter<V = V>,
V: Smt2Visitor,