Class DoubleQueue
java.lang.Object
|
+----DoubleQueue
- public class DoubleQueue
- extends Object
Enthält Heads und Nullpointer oder Strings, und sortiert die Heads nach
ihrer Länge.
Dabei kommen die kleinsten Heads vor den größeren. Die Strings
sind nur enthalten, wenn die trace-Option eingeschaltet ist. In diesem Fall
repräsentieren sie 'false' bzw. 'null', und enthalten ein Abbild der
angewandten Regelinstanz.
-
DoubleQueue()
-
-
dequeue()
-
-
empty()
-
-
enqueue(Object)
- Sortiert einkommende Heads nach Länge.
-
isEmpty()
-
-
toString()
-
DoubleQueue
public DoubleQueue()
empty
public final void empty()
enqueue
public final void enqueue(Object o)
- Sortiert einkommende Heads nach Länge.
Wenn Strings kommen, werden sie in einen separaten Array gespeichert.
dequeue
public final Object dequeue()
isEmpty
public final boolean isEmpty()
toString
public final String toString()
- Overrides:
- toString in class Object