il2.inf.structure.minfill2
Class PriorityQueue

Object
  extended by PriorityQueue
Direct Known Subclasses:
IntPriorityQueue

public abstract class PriorityQueue
extends Object

A base class for priority queues.

Author:
Mark Chavira

Constructor Summary
PriorityQueue()
           
 
Method Summary
abstract  void clear()
          Resets the priority queue.
abstract  int size()
          Returns the number of elements in the queue.
 void validateHeapProperty()
          Throws an exception if the heap property is not satisfied.
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PriorityQueue

public PriorityQueue()
Method Detail

validateHeapProperty

public void validateHeapProperty()
                          throws Exception
Throws an exception if the heap property is not satisfied. This method is for debugging.

Throws:
Exception

size

public abstract int size()
Returns the number of elements in the queue.

Returns:
the number of elements.

clear

public abstract void clear()
Resets the priority queue.



Copyright 2010 UCLA Automated Reasoning Group