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