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.


Constructor Index

 o AtomList()

Method Index

 o add(Atom)
Ist die Liste sortiert, wirde jedes neue Atom in die bestehende Ordnung passend eingefügt.
 o contains(AtomList)
Prüft ob die übergebene AtomList Teilmenge dieser AtomList ist.
 o getAtoms()
 o isEmpty()
 o quicksort(int, int)
 o size()
 o sort()
Sortiert die Elemente der Liste nach Größe von Atom.predicate().hashcode().
 o swap(int, int)
 o toSnarks()
 o toString()

Constructors

 o AtomList
 public AtomList()

Methods

 o size
 public final int size()
 o add
 public final void add(Atom at)
Ist die Liste sortiert, wirde jedes neue Atom in die bestehende Ordnung passend eingefügt.

 o getAtoms
 public Atom[] getAtoms()
 o isEmpty
 public final boolean isEmpty()
 o 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.

 o quicksort
 public void quicksort(int l,
                       int r)
 o swap
 public void swap(int a,
                  int b)
 o 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.)

 o toString
 public final String toString()
Overrides:
toString in class Object
 o toSnarks
 public final String toSnarks()