Package org.smtlib

Class IVisitor.TreeVisitor<T>

java.lang.Object
org.smtlib.IVisitor.TreeVisitor<T>
Type Parameters:
T - the type of the return value
All Implemented Interfaces:
IVisitor<T>
Enclosing interface:
IVisitor<T>
public static class IVisitor.TreeVisitor<T> extends Object implements IVisitor<T>
This class is an implementation of IVisitor meant for further derivation: each visitor is implemented to visit its children without doing anything else; the default return value is null.