Trait smt2parser::visitors::SortVisitor

pub trait SortVisitor<Symbol> {
    type T;
    fn visit_simple_sort(&mut self, identifier: Identifier<Symbol>) -> Self::T;
    fn visit_parameterized_sort(
        &mut self, 
        identifier: Identifier<Symbol>, 
        parameters: Vec<Self::T>
    ) -> Self::T;
}

Associated Types

type T

Required methods

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

fn visit_parameterized_sort(
    &mut self,
    identifier: Identifier<Symbol>,
    parameters: Vec<Self::T>
) -> Self::T

Implementors

impl SortVisitor<()> for Smt2Counters

type T = ()

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

fn visit_parameterized_sort(
    &mut self,
    _identifier: Identifier<()>,
    _parameters: Vec<Self::T>
) -> Self::T

impl SortVisitor<Symbol> for SyntaxBuilder

type T = Sort

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

fn visit_parameterized_sort(
    &mut self,
    identifier: Identifier,
    parameters: Vec<Self::T>
) -> Self::T

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

type T = V::Sort

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

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