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.


Constructor Summary
protected InclusionConstraints.TermVisitor()
           
 
Method Summary
 void visit(InclusionConstraints.AtomSet aset)
           
abstract  void visit(InclusionConstraints.Term t)
           
 void visit(InclusionConstraints.Var var)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

InclusionConstraints.TermVisitor

protected InclusionConstraints.TermVisitor()
Method Detail

visit

public abstract void visit(InclusionConstraints.Term t)

visit

public void visit(InclusionConstraints.Var var)

visit

public void visit(InclusionConstraints.AtomSet aset)