il2.util
Class MappedHeap

Object
  extended by Heap
      extended by MappedHeap
Direct Known Subclasses:
ComparatorHeap

public class MappedHeap
extends Heap


Constructor Summary
MappedHeap()
           
 
Method Summary
 void add(Object element, Object p)
           
 void initialize(Map priorityMap)
           
 Object removeBest()
           
 void updatePriorities(Map changedPriorities)
           
 void updatePriority(Object element, Object p)
           
 
Methods inherited from class Heap
isEmpty, sanityCheck, size
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

MappedHeap

public MappedHeap()
Method Detail

initialize

public final void initialize(Map priorityMap)

add

public final void add(Object element,
                      Object p)

updatePriority

public final void updatePriority(Object element,
                                 Object p)

updatePriorities

public final void updatePriorities(Map changedPriorities)

removeBest

public final Object removeBest()


Copyright 2010 UCLA Automated Reasoning Group