16 PresburgerSet::PresburgerSet(const FlatAffineConstraints &fac)  in PresburgerSet()  function in PresburgerSet
21 unsigned PresburgerSet::getNumFACs() const {  in getNumFACs()
25 unsigned PresburgerSet::getNumDims() const { return nDim; }  in getNumDims()
27 unsigned PresburgerSet::getNumSyms() const { return nSym; }  in getNumSyms()
30 PresburgerSet::getAllFlatAffineConstraints() const {  in getAllFlatAffineConstraints()
35 PresburgerSet::getFlatAffineConstraints(unsigned index) const {  in getFlatAffineConstraints()
43                                        const PresburgerSet &set) {  in assertDimensionsCompatible()
53 static void assertDimensionsCompatible(const PresburgerSet &setA,  in assertDimensionsCompatible()
54                                        const PresburgerSet &setB) {  in assertDimensionsCompatible()
63 void PresburgerSet::unionFACInPlace(const FlatAffineConstraints &fac) {  in unionFACInPlace()
72 void PresburgerSet::unionSetInPlace(const PresburgerSet &set) {  in unionSetInPlace()
79 PresburgerSet PresburgerSet::unionSet(const PresburgerSet &set) const {  in unionSet()
81   PresburgerSet result = *this;  in unionSet()
87 bool PresburgerSet::containsPoint(ArrayRef<int64_t> point) const {  in containsPoint()
95 PresburgerSet PresburgerSet::getUniverse(unsigned nDim, unsigned nSym) {  in getUniverse()
96   PresburgerSet result(nDim, nSym);  in getUniverse()
101 PresburgerSet PresburgerSet::getEmptySet(unsigned nDim, unsigned nSym) {  in getEmptySet()
102   return PresburgerSet(nDim, nSym);  in getEmptySet()
109 PresburgerSet PresburgerSet::intersect(const PresburgerSet &set) const {  in intersect()
112   PresburgerSet result(nDim, nSym);  in intersect()
166                                 const PresburgerSet &s, unsigned i,  in subtractRecursively()
167                                 PresburgerSet &result) {  in subtractRecursively()
254 PresburgerSet PresburgerSet::getSetDifference(FlatAffineConstraints fac,  in getSetDifference()
255                                               const PresburgerSet &set) {  in getSetDifference()
258     return PresburgerSet::getEmptySet(fac.getNumDimIds(),  in getSetDifference()
261   PresburgerSet result(fac.getNumDimIds(), fac.getNumSymbolIds());  in getSetDifference()
268 PresburgerSet PresburgerSet::complement() const {  in complement()
275 PresburgerSet PresburgerSet::subtract(const PresburgerSet &set) const {  in subtract()
277   PresburgerSet result(nDim, nSym);  in subtract()
286 bool PresburgerSet::isIntegerEmpty() const {  in isIntegerEmpty()
296 bool PresburgerSet::findIntegerSample(SmallVectorImpl<int64_t> &sample) {  in findIntegerSample()
308 void PresburgerSet::print(raw_ostream &os) const {  in print()
316 void PresburgerSet::dump() const { print(llvm::errs()); }  in dump()