Lines Matching defs:PresburgerSet
239 std::vector<std::pair<PresburgerSet, GeneratingFunction>>
241 unsigned numSymbols, ArrayRef<std::pair<PresburgerSet, GeneratingFunction>>
247 std::vector<std::pair<PresburgerSet, GeneratingFunction>> chambers = {
248 {PresburgerSet::getUniverse(PresburgerSpace::getSetSpace(numSymbols)),
269 std::vector<std::pair<PresburgerSet, GeneratingFunction>> newChambers;
272 PresburgerSet intersection = currentRegion.intersect(region);
312 std::vector<std::pair<PresburgerSet, GeneratingFunction>>
323 std::vector<std::pair<PresburgerSet, GeneratingFunction>>
401 // form so as to store it as a PresburgerSet.
434 regionsAndGeneratingFunctions.emplace_back(PresburgerSet(activeRegionRel),