Trait smt2parser::visitors::QualIdentifierVisitor

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

type T

type E

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 QualIdentifierVisitor<Identifier<()>, ()> for Smt2Counters

type T = ()

type E = Error

impl<Identifier, Sort> QualIdentifierVisitor<Identifier, Sort> for SyntaxBuilder

type T = QualIdentifier<Identifier, Sort>

type E = Error

impl<R, V> QualIdentifierVisitor<Identifier<<V as Smt2Visitor>::Symbol>, <V as Smt2Visitor>::Sort> for R where
    R: Rewriter<V = V>,
    V: Smt2Visitor, 

type T = V::QualIdentifier

type E = R::Error