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.
InclusionConstraints.Var
public InclusionConstraints.Var()
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