Trait smt2parser::visitors::SortVisitor

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

type T

type E

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 SortVisitor<()> for Smt2Counters

type T = ()

type E = Error

impl<R, V> SortVisitor<<V as Smt2Visitor>::Symbol> for R where
    R: Rewriter<V = V>,
    V: Smt2Visitor, 

type T = V::Sort

type E = R::Error

impl<Symbol> SortVisitor<Symbol> for SyntaxBuilder

type T = Sort<Identifier<Symbol>>

type E = Error