Change priority of items in a priority queue
问题 Using Scala 2.9 to implement a kind of Dijkstra algorithm (pseudo code) val queue = new PriorityQueue queue.insert(...) while (!queue.isEmpty) { val u = queue.extractMin queue.foreach { v => if (condition(u, v)) queue.decreaseKey(v, newPriority) } } I'd like to change priority of an item in Scala's collection.mutable.PriorityQueue . Therefore tried to remove item change priority reinsert into queue. But I can't find a method to either update priority or remove a specific item (not necessarily