net.clackrouter.jgraph.pad
Class GPGraphTools.PriorityQueue

java.lang.Object
  net.clackrouter.jgraph.pad.GPGraphTools.PriorityQueue

Enclosing class:

GPGraphTools

public class GPGraphTools.PriorityQueue
extends java.lang.Object

Field Summary

protected java.util.HashSet	data
protected java.lang.Object	minElt
protected double	minPrio
protected java.util.Hashtable	prio

Constructor Summary

GPGraphTools.PriorityQueue()

Method Summary

double	getPrio()
double	getPrio(java.lang.Object obj)
boolean	isEmpty()
java.lang.Object	pop()
void	setPrio(java.lang.Object obj, double prio)
protected void	update()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

prio

protected java.util.Hashtable prio

data

protected java.util.HashSet data

minPrio

protected double minPrio

minElt

protected java.lang.Object minElt

Constructor Detail

GPGraphTools.PriorityQueue

public GPGraphTools.PriorityQueue()

Method Detail

isEmpty

public boolean isEmpty()

pop

public java.lang.Object pop()

getPrio

public double getPrio()

getPrio

public double getPrio(java.lang.Object obj)

update

protected void update()

setPrio

public void setPrio(java.lang.Object obj,
                    double prio)