Trait smt2parser::visitors::Smt2Visitor[−][src]

pub trait Smt2Visitor: ConstantVisitor<T = Self::Constant> + SymbolVisitor<T = Self::Symbol> + KeywordVisitor<T = Self::Keyword> + SExprVisitor<Self::Constant, Self::Symbol, Self::Keyword, T = Self::SExpr> + QualIdentifierVisitor<Identifier<Self::Symbol>, Self::Sort, T = Self::QualIdentifier> + SortVisitor<Self::Symbol, T = Self::Sort> + TermVisitor<Self::Constant, Self::QualIdentifier, Self::Keyword, Self::SExpr, Self::Symbol, Self::Sort, T = Self::Term> + CommandVisitor<Self::Term, Self::Symbol, Self::Sort, Self::Keyword, Self::Constant, Self::SExpr, T = Self::Command> {
    type Constant;
    type QualIdentifier;
    type Keyword;
    type Sort;
    type SExpr;
    type Symbol;
    type Term;
    type Command;
}