Trait smt2parser::visitors::TermVisitor [−][src]
pub trait TermVisitor<Constant, QualIdentifier, Keyword, SExpr, Symbol, Sort> { type T; fn visit_constant(&mut self, constant: Constant) -> Self::T; fn visit_qual_identifier(
&mut self,
qual_identifier: QualIdentifier
) -> Self::T; fn visit_application(
&mut self,
qual_identifier: QualIdentifier,
arguments: Vec<Self::T>
) -> Self::T; fn visit_let(
&mut self,
var_bindings: Vec<(Symbol, Self::T)>,
term: Self::T
) -> Self::T; fn visit_forall(
&mut self,
vars: Vec<(Symbol, Sort)>,
term: Self::T
) -> Self::T; fn visit_exists(
&mut self,
vars: Vec<(Symbol, Sort)>,
term: Self::T
) -> Self::T; fn visit_match(
&mut self,
term: Self::T,
cases: Vec<(Vec<Symbol>, Self::T)>
) -> Self::T; fn visit_attributes(
&mut self,
term: Self::T,
attributes: Vec<(Keyword, AttributeValue<Constant, Symbol, SExpr>)>
) -> Self::T; }
Associated Types
Required methods
fn visit_constant(&mut self, constant: Constant) -> Self::T
[src]fn visit_qual_identifier(&mut self, qual_identifier: QualIdentifier) -> Self::T
[src]fn visit_application(
&mut self,
qual_identifier: QualIdentifier,
arguments: Vec<Self::T>
) -> Self::T
[src]fn visit_attributes(
&mut self,
term: Self::T,
attributes: Vec<(Keyword, AttributeValue<Constant, Symbol, SExpr>)>
) -> Self::T
[src]Implementors
fn visit_application(
&mut self,
qual_identifier: QualIdentifier,
arguments: Vec<Self::T>
) -> Self::T
[src]fn visit_attributes(
&mut self,
term: Self::T,
attributes: Vec<(Keyword, AttributeValue)>
) -> Self::T
[src]impl<R, V> TermVisitor<<V as Smt2Visitor>::Constant, <V as Smt2Visitor>::QualIdentifier, <V as Smt2Visitor>::Keyword, <V as Smt2Visitor>::SExpr, <V as Smt2Visitor>::Symbol, <V as Smt2Visitor>::Sort> for R where
R: Rewriter<V = V>,
V: Smt2Visitor,
[src]
impl<R, V> TermVisitor<<V as Smt2Visitor>::Constant, <V as Smt2Visitor>::QualIdentifier, <V as Smt2Visitor>::Keyword, <V as Smt2Visitor>::SExpr, <V as Smt2Visitor>::Symbol, <V as Smt2Visitor>::Sort> for R where
R: Rewriter<V = V>,
V: Smt2Visitor,
[src]fn visit_application(
&mut self,
qual_identifier: V::QualIdentifier,
arguments: Vec<Self::T>
) -> Self::T
[src]