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>;
}