Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## lp.unit
Class StableModel

    java.lang.Object
      java.util.AbstractCollection<E>
          java.util.AbstractSet<E>
              java.util.TreeSet<LpAtom>
                  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`.

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD