lp.unit
Class StableModel

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractSet<E>
          extended by java.util.TreeSet<LpAtom>
              extended by lp.unit.StableModel
All Implemented Interfaces:
Serializable, Cloneable, Iterable<LpAtom>, Collection<LpAtom>, Set<LpAtom>, SortedSet<LpAtom>

public class StableModel
extends TreeSet<LpAtom>

Represents a stable model, i.e. a set of atoms.

Version:
1.0.0
Author:
Martin Slota
See Also:
Serialized Form

Field Summary
private static Comparator<LpAtom> SM_COMPARATOR
          A comparator that compares atoms according to their standard string representations.
 
Constructor Summary
StableModel()
          Creates a new instance of StableModel.
 
Method Summary
 
Methods inherited from class java.util.TreeSet
add, addAll, clear, clone, comparator, contains, first, headSet, isEmpty, iterator, last, remove, size, subSet, tailSet
 
Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll
 
Methods inherited from class java.util.AbstractCollection
containsAll, retainAll, toArray, toArray, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Set
containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray
 

Field Detail

SM_COMPARATOR

private static final Comparator<LpAtom> SM_COMPARATOR
A comparator that compares atoms according to their standard string representations.

Constructor Detail

StableModel

public StableModel()
Creates a new instance of StableModel.