Package org.smtlib

Interface IVisitor<T>

All Known Implementing Classes:
IVisitor.TreeVisitor, Printer, Printer, Printer.WithLines, Solver_simplify.Translator, Solver_z3_4_3.Translator, TypeChecker
public interface IVisitor<T>
This is a visitor interface for visitors over IExpr ASTs. Each AST class implements an accept method that calls the appropriate element of the IVisitor class. An implementation of the IVisitor class will implement an appropriate action in the visit() method. The type parameter T is the return type of the visit method.