il2.util
Class Heap

Object
  extended by Heap
Direct Known Subclasses:
IndexedHeap, MappedHeap

public abstract class Heap
extends Object

A class implementing the logic for a binary heap.


Constructor Summary
Heap()
          Creates an empty heap.
 
Method Summary
 boolean isEmpty()
          Returns whether or not the heap is empty.
 void sanityCheck()
           
 int size()
          Returns the number of elements currently in the heap.
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Heap

public Heap()
Creates an empty heap.

Method Detail

isEmpty

public final boolean isEmpty()
Returns whether or not the heap is empty.


size

public final int size()
Returns the number of elements currently in the heap.


sanityCheck

public void sanityCheck()


Copyright 2010 UCLA Automated Reasoning Group