Trait QualIdentifierVisitor 

pub trait QualIdentifierVisitor<Identifier, Sort> {
    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>;
}

Required 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 as Smt2Visitor>::QualIdentifier

type E = <R as Rewriter>::Error