Searched refs:unionFACInPlace (Results 1 – 3 of 3) sorted by relevance
18 unionFACInPlace(fac); in PresburgerSet()63 void PresburgerSet::unionFACInPlace(const FlatAffineConstraints &fac) { in unionFACInPlace() function in PresburgerSet75 unionFACInPlace(fac); in unionSetInPlace()97 result.unionFACInPlace(FlatAffineConstraints::getUniverse(nDim, nSym)); in getUniverse()118 result.unionFACInPlace(std::move(intersection)); in intersect()169 result.unionFACInPlace(b); in subtractRecursively()
52 void unionFACInPlace(const FlatAffineConstraints &fac);
103 set.unionFACInPlace(fac); in makeSetFromFACs()