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