harpoon.Util.Constraints
Class InclusionConstraints.Term
java.lang.Object
|
+--harpoon.Util.Constraints.InclusionConstraints.Term
- Direct Known Subclasses:
- InclusionConstraints.AtomSet, InclusionConstraints.Var
- Enclosing class:
- InclusionConstraints
- public abstract static class InclusionConstraints.Term
- extends Object
Root of the term class hierarchy. A term is either a variable
Var
or a set of atoms AtomSet
.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
VAR
public static final int VAR
- See Also:
- Constant Field Values
ATOMSET
public static final int ATOMSET
- See Also:
- Constant Field Values
InclusionConstraints.Term
public InclusionConstraints.Term()
kind
public abstract int kind()
- Returns the kind of
this
object. The result
has to be VAR
or ATOMSET
.
accept
public abstract void accept(InclusionConstraints.TermVisitor tv)
- "Accepts" a
TermVisitor
. The visitor patterm
allows us to avoid instanceof
tests and
typecast.