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 . |
Methods inherited from class java.util.TreeSet |
add, addAll, clear, clone, comparator, contains, first, headSet, isEmpty, iterator, last, remove, size, subSet, tailSet |
SM_COMPARATOR
private static final Comparator<LpAtom> SM_COMPARATOR
- A comparator that compares atoms according to their standard string
representations.
StableModel
public StableModel()
- Creates a new instance of
StableModel
.