il2.util
Class ComparatorHeap

Object
  extended by Heap
      extended by MappedHeap
          extended by ComparatorHeap

public class ComparatorHeap
extends MappedHeap


Constructor Summary
ComparatorHeap(Comparator comp)
           
 
Method Summary
 
Methods inherited from class MappedHeap
add, initialize, removeBest, updatePriorities, updatePriority
 
Methods inherited from class Heap
isEmpty, sanityCheck, size
 
Methods inherited from class Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ComparatorHeap

public ComparatorHeap(Comparator comp)


Copyright 2010 UCLA Automated Reasoning Group