harpoon.Util.Constraints
Class InclusionConstraints.TermVisitor
java.lang.Object
|
+--harpoon.Util.Constraints.InclusionConstraints.TermVisitor
- Enclosing class:
- InclusionConstraints
- public abstract static class InclusionConstraints.TermVisitor
- extends Object
Visitor for Term
.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
InclusionConstraints.TermVisitor
protected InclusionConstraints.TermVisitor()
visit
public abstract void visit(InclusionConstraints.Term t)
visit
public void visit(InclusionConstraints.Var var)
visit
public void visit(InclusionConstraints.AtomSet aset)