il2.util
Class IndexedHeap

Object
  extended by Heap
      extended by IndexedHeap

public abstract class IndexedHeap
extends Heap


Constructor Summary
IndexedHeap()
           
 
Method Summary
 void initialize(IntSet heapElements)
           
 int removeBest()
           
 void valueUpdated(int x)
           
 
Methods inherited from class Heap
isEmpty, sanityCheck, size
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IndexedHeap

public IndexedHeap()
Method Detail

initialize

public void initialize(IntSet heapElements)

removeBest

public int removeBest()

valueUpdated

public void valueUpdated(int x)


Copyright 2010 UCLA Automated Reasoning Group