harpoon.Util.Constraints
Class InclusionConstraints.AtomSet

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

public static class InclusionConstraints.AtomSet
extends InclusionConstraints.Term

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

InclusionConstraints.AtomSet

public InclusionConstraints.AtomSet(Collection c)
Construct a set of atoms.

Method Detail

accept

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

Specified by:
accept in class InclusionConstraints.Term

kind

public final int kind()
Returns Term.ATOMSET.

Specified by:
kind in class InclusionConstraints.Term

toString

public String toString()
String representation of this set of atoms: simply the string representation of the underlying string.

Overrides:
toString in class Object