|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--harpoon.Util.Constraints.InclusionConstraints.Term | +--harpoon.Util.Constraints.InclusionConstraints.AtomSet
Set of atoms term for the inclusion constraints.
Field Summary |
Fields inherited from class harpoon.Util.Constraints.InclusionConstraints.Term |
ATOMSET, VAR |
Constructor Summary | |
InclusionConstraints.AtomSet(Collection c)
Construct a set of atoms. |
Method Summary | |
void |
accept(InclusionConstraints.TermVisitor tv)
{@inheritDoc} |
int |
kind()
Returns Term.ATOMSET . |
String |
toString()
String representation of this set of atoms:
simply the string representation of the underlying
string. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
public InclusionConstraints.AtomSet(Collection c)
Method Detail |
public void accept(InclusionConstraints.TermVisitor tv)
accept
in class InclusionConstraints.Term
public final int kind()
Term.ATOMSET
.
kind
in class InclusionConstraints.Term
public String toString()
this
set of atoms:
simply the string representation of the underlying
string.
toString
in class Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |