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