harpoon.Util.Constraints
Class InclusionConstraints.Var

java.lang.Object
  |
  +--harpoon.Util.Constraints.InclusionConstraints.Term
        |
        +--harpoon.Util.Constraints.InclusionConstraints.Var
Enclosing class:
InclusionConstraints

public static class InclusionConstraints.Var
extends InclusionConstraints.Term

Variable for the inclusion constraints.


Field Summary
 
Fields inherited from class harpoon.Util.Constraints.InclusionConstraints.Term
ATOMSET, VAR
 
Constructor Summary
InclusionConstraints.Var()
           
 
Method Summary
 void accept(InclusionConstraints.TermVisitor tv)
          {@inheritDoc}
 int kind()
          Returns Term.VAR.
 String toString()
          String representation of this variable: \quot;Vid" where id is a unique integer id.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

InclusionConstraints.Var

public InclusionConstraints.Var()
Method Detail

kind

public final int kind()
Returns Term.VAR.

Specified by:
kind in class InclusionConstraints.Term

accept

public void accept(InclusionConstraints.TermVisitor tv)
{@inheritDoc}

Specified by:
accept in class InclusionConstraints.Term

toString

public String toString()
String representation of this variable: \quot;Vid" where id is a unique integer id.

Overrides:
toString in class Object