uk.ac.manchester.cs.jfact.kernel.todolist

Class QueueQueue

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue

uk.ac.manchester.cs.jfact.kernel.todolist.QueueQueue

All Implemented Interfaces:

Serializable

public class QueueQueue
extends ArrayQueue

class to represent single priority queue

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
QueueQueue(SaveStackRare rare)

Method Summary

Modifier and Type	Method and Description
void	add(DlCompletionTree node, ConceptWDep offset) add entry to a queue
void	clear() clear queue
boolean	isEmpty()
String	toString()

Methods inherited from class uk.ac.manchester.cs.jfact.kernel.todolist.ArrayQueue

get, getsPointer, getWaitSize, restore, restore, save, setsPointer

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

QueueQueue

public QueueQueue(SaveStackRare rare)

Parameters:

rare - rare stack

Method Detail

add

public void add(DlCompletionTree node,
                ConceptWDep offset)

Description copied from class: ArrayQueue

add entry to a queue

Overrides:

add in class ArrayQueue

Parameters:

node - node

offset - offset

clear

@PortedFrom(file="ToDoList.h",
            name="clear")
public void clear()

Description copied from class: ArrayQueue

clear queue

Overrides:

clear in class ArrayQueue

isEmpty

public boolean isEmpty()

Overrides:

isEmpty in class ArrayQueue

Returns:

check if queue empty

toString

public String toString()

Overrides:

toString in class ArrayQueue