Trait smt2parser::visitors::QualIdentifierVisitor

pub trait QualIdentifierVisitor<Identifier, Sort> {
    type T;
    fn visit_simple_identifier(&mut self, identifier: Identifier) -> Self::T;
    fn visit_sorted_identifier(
        &mut self, 
        identifier: Identifier, 
        sort: Sort
    ) -> Self::T;
}

Associated Types

type T

Required methods

fn visit_simple_identifier(&mut self, identifier: Identifier) -> Self::T

fn visit_sorted_identifier(
    &mut self,
    identifier: Identifier,
    sort: Sort
) -> Self::T

Implementors

impl QualIdentifierVisitor<Identifier<()>, ()> for Smt2Counters

type T = ()

fn visit_simple_identifier(&mut self, _identifier: Identifier<()>) -> Self::T

fn visit_sorted_identifier(
    &mut self,
    _identifier: Identifier<()>,
    _sort: ()
) -> Self::T

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

type T = QualIdentifier

fn visit_simple_identifier(&mut self, identifier: Identifier) -> Self::T

fn visit_sorted_identifier(
    &mut self,
    identifier: Identifier,
    sort: Sort
) -> Self::T

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

fn visit_simple_identifier(
    &mut self,
    identifier: Identifier<V::Symbol>
) -> Self::T

fn visit_sorted_identifier(
    &mut self,
    identifier: Identifier<V::Symbol>,
    sort: V::Sort
) -> Self::T