Searched refs:NodeQueue (Results 1 – 1 of 1) sorted by relevance
203 typedef std::set<Node*, OrderNodeByWeightDecreasing> NodeQueue; typedef558 NodeQueue worklist_;559 NodeQueue unsolved_;