Searched refs:tmpFrontiers (Results 1 – 1 of 1) sorted by relevance
101 DomSetMapType tmpFrontiers; in compare() local105 tmpFrontiers.insert(std::make_pair(I->first, I->second)); in compare()107 for (typename DomSetMapType::iterator I = tmpFrontiers.begin(), in compare()108 E = tmpFrontiers.end(); in compare()119 tmpFrontiers.erase(Node); in compare()122 if (!tmpFrontiers.empty()) in compare()