Lines Matching refs:Queue
748 Queue.push(QueueItem(OrderedPenalty(0, Count), Node));
752 while (!Queue.empty()) {
753 unsigned Penalty = Queue.top().first.first;
754 StateNode *Node = Queue.top().second;
759 Queue.pop();
769 if (Queue.empty())
775 reconstructPath(InitialState, Queue.top().second);
779 return Queue.top().second->State.Column;
801 /// \brief Add the following state to the analysis queue \c Queue.
822 Queue.push(QueueItem(OrderedPenalty(Penalty, Count), Node));
892 QueueType Queue;