Trait smt2parser::visitors::SExprVisitor

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

type T

type E

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>

fn visit_application_s_expr(
    &mut self,
    values: Vec<Self::T>
) -> Result<Self::T, Self::E>

Implementors

impl SExprVisitor<(), (), ()> for Smt2Counters

type T = ()

type E = Error

impl<Constant, Symbol, Keyword> SExprVisitor<Constant, Symbol, Keyword> for SyntaxBuilder

type T = SExpr<Constant, Symbol, Keyword>

type E = Error

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, 

type T = V::SExpr

type E = R::Error