Lines Matching refs:FlatAffineConstraints

16 PresburgerSet::PresburgerSet(const FlatAffineConstraints &fac)  in PresburgerSet()
29 ArrayRef<FlatAffineConstraints>
34 const FlatAffineConstraints &
42 static void assertDimensionsCompatible(const FlatAffineConstraints &fac,  in assertDimensionsCompatible()
63 void PresburgerSet::unionFACInPlace(const FlatAffineConstraints &fac) {  in unionFACInPlace()
74   for (const FlatAffineConstraints &fac : set.flatAffineConstraints)  in unionSetInPlace()
88   for (const FlatAffineConstraints &fac : flatAffineConstraints) {  in containsPoint()
97   result.unionFACInPlace(FlatAffineConstraints::getUniverse(nDim, nSym));  in getUniverse()
113   for (const FlatAffineConstraints &csA : flatAffineConstraints) {  in intersect()
114     for (const FlatAffineConstraints &csB : set.flatAffineConstraints) {  in intersect()
115       FlatAffineConstraints intersection(csA);  in intersect()
165 static void subtractRecursively(FlatAffineConstraints &b, Simplex &simplex,  in subtractRecursively()
172   const FlatAffineConstraints &sI = s.getFlatAffineConstraints(i);  in subtractRecursively()
254 PresburgerSet PresburgerSet::getSetDifference(FlatAffineConstraints fac,  in getSetDifference()
270       FlatAffineConstraints::getUniverse(getNumDims(), getNumSyms()), *this);  in complement()
279   for (const FlatAffineConstraints &fac : flatAffineConstraints)  in subtract()
289   for (const FlatAffineConstraints &fac : flatAffineConstraints) {  in isIntegerEmpty()
299   for (const FlatAffineConstraints &fac : flatAffineConstraints) {  in findIntegerSample()
310   for (const FlatAffineConstraints &fac : flatAffineConstraints) {  in print()