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.


Constructor Index

 o DoubleQueue()

Method Index

 o dequeue()
 o empty()
 o enqueue(Object)
Sortiert einkommende Heads nach Länge.
 o isEmpty()
 o toString()

Constructors

 o DoubleQueue
 public DoubleQueue()

Methods

 o empty
 public final void empty()
 o enqueue
 public final void enqueue(Object o)
Sortiert einkommende Heads nach Länge. Wenn Strings kommen, werden sie in einen separaten Array gespeichert.

 o dequeue
 public final Object dequeue()
 o isEmpty
 public final boolean isEmpty()
 o toString
 public final String toString()
Overrides:
toString in class Object