Trait smt2parser::visitors::SortVisitor [−][src]
pub trait SortVisitor<Symbol> { type T; type E; fn visit_simple_sort(
&mut self,
identifier: Identifier<Symbol>
) -> Result<Self::T, Self::E>; fn visit_parameterized_sort(
&mut self,
identifier: Identifier<Symbol>,
parameters: Vec<Self::T>
) -> Result<Self::T, Self::E>; }
Associated Types
Required methods
fn visit_simple_sort(
&mut self,
identifier: Identifier<Symbol>
) -> Result<Self::T, Self::E>
fn visit_parameterized_sort(
&mut self,
identifier: Identifier<Symbol>,
parameters: Vec<Self::T>
) -> Result<Self::T, Self::E>
Implementors
impl<R, V> SortVisitor<<V as Smt2Visitor>::Symbol> for R where
R: Rewriter<V = V>,
V: Smt2Visitor,