17     : nDim(fac.getNumDimIds()), nSym(fac.getNumSymbolIds()) {  in PresburgerSet()
27 unsigned PresburgerSet::getNumSyms() const { return nSym; }  in getNumSyms()
95 PresburgerSet PresburgerSet::getUniverse(unsigned nDim, unsigned nSym) {  in getUniverse()  argument
96   PresburgerSet result(nDim, nSym);  in getUniverse()
97   result.unionFACInPlace(FlatAffineConstraints::getUniverse(nDim, nSym));  in getUniverse()
101 PresburgerSet PresburgerSet::getEmptySet(unsigned nDim, unsigned nSym) {  in getEmptySet()  argument
102   return PresburgerSet(nDim, nSym);  in getEmptySet()
112   PresburgerSet result(nDim, nSym);  in intersect()
277   PresburgerSet result(nDim, nSym);  in subtract()
287   assert(nSym == 0 && "isIntegerEmpty is intended for non-symbolic sets");  in isIntegerEmpty()
297   assert(nSym == 0 && "findIntegerSample is intended for non-symbolic sets");  in findIntegerSample()