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; }
Expand description
A visitor for the entire SMT2 syntax.
Associated Types
type QualIdentifier
[src]