Class type Logic.logicVisitor


class type logicVisitor = object .. end
A visitor interface for traversing Logic expressions and predicates. Create instantiations of this type by specializing the class Logic.nopLogicVisitor.

method vexp : exp -> exp visitAction
Invoked on each expression occurrence. The subtrees are the subexpressions
method vpred : pred -> pred visitAction
Invoked on each predicate occurrence. The subtrees are the subexpressions