Class AtomList
java.lang.Object
|
+----AtomList
- public class AtomList
- extends Object
Eine wachsende Liste, die man sortieren kann.
Die Liste hält sich nach Benutzung von sort
weiterhin selbst
sortiert, wenn man mittels add
ein neues Atom einfügt.
Die Liste wird benutzt, um die Negation des jeweiligen Modells zu verein-
fachen. Da alle Atome ground sind, kann man einen reinen equals()-Vergleich
zwischen neuen (größeren) und alten (kleineren) Modellen machen, um zu
prüfen, ob das ältere Modell Teilmenge des neuen Modells ist.
-
AtomList()
-
-
add(Atom)
- Ist die Liste sortiert, wirde jedes neue Atom in die bestehende Ordnung
passend eingefügt.
-
contains(AtomList)
- Prüft ob die übergebene AtomList Teilmenge dieser AtomList ist.
-
getAtoms()
-
-
isEmpty()
-
-
quicksort(int, int)
-
-
size()
-
-
sort()
- Sortiert die Elemente der Liste nach Größe von Atom.predicate().hashcode().
-
swap(int, int)
-
-
toSnarks()
-
-
toString()
-
AtomList
public AtomList()
size
public final int size()
add
public final void add(Atom at)
- Ist die Liste sortiert, wirde jedes neue Atom in die bestehende Ordnung
passend eingefügt.
getAtoms
public Atom[] getAtoms()
isEmpty
public final boolean isEmpty()
sort
public void sort()
- Sortiert die Elemente der Liste nach Größe von Atom.predicate().hashcode().
Da der Hashcode von Strings immer gleich ist, wenn auch die Strings
gleich sind, kann man den Atom.predicate-String als Ordnungsindex benutzen.
quicksort
public void quicksort(int l,
int r)
swap
public void swap(int a,
int b)
contains
public final boolean contains(AtomList alist)
- Prüft ob die übergebene AtomList Teilmenge dieser AtomList ist.
Dabei wird angenommen, daß die übergebene AtomList kleiner ist als
'this'! (Sonst könnten wir ja nicht auf *Teilmenge* prüfen.)
toString
public final String toString()
- Overrides:
- toString in class Object
toSnarks
public final String toSnarks()