Searched refs:unionSetInPlace (Results 1 – 2 of 2) sorted by relevance
72 void PresburgerSet::unionSetInPlace(const PresburgerSet &set) { in unionSetInPlace() function in PresburgerSet82 result.unionSetInPlace(set); in unionSet()280 result.unionSetInPlace(getSetDifference(fac, set)); in subtract()
55 void unionSetInPlace(const PresburgerSet &set);