48 std::vector<GiaNode> remainNodes;
63 std::map<OverlayKey, MessageItem>::iterator it =
messages.find(msg->
getID());
65 if ( it->first == msg->
getID() )
71 std::map<OverlayKey, MessageItem>::iterator it =
messages.find(msg->
getID());
81 std::map<OverlayKey, MessageItem>::iterator it =
messages.find(msg->
getID());
82 std::priority_queue<FullGiaNodeInfo, std::vector<FullGiaNodeInfo>,
GiaNodeQueueCompare> nodeQueue;
86 std::vector<GiaNode> remNodes = messageItem.
remainNodes;
87 if ( remNodes.size() == 0) {
93 for ( uint32_t i=0; i<remNodes.size(); i++ ) {
94 if(!(remNodes[i].isUnspecified())) {
96 temp.
node = remNodes[i];
98 if (temp.
info) nodeQueue.push(temp);
102 if (!nodeQueue.empty()) {
109 while ( !nodeQueue.empty() ) {
110 remNodes.push_back(nodeQueue.top().node);
126 std::map<OverlayKey, MessageItem>::iterator it =
messages.begin();
127 std::map<OverlayKey, MessageItem>::iterator it2 =
messages.begin();
128 for ( uint32_t i=0; i<
messages.size(); i++) {