Searched defs:getEmptySet (Results 1 – 2 of 2) sorted by relevance
54 static IntegerSet getEmptySet(unsigned numDims, unsigned numSymbols, in getEmptySet() function
101 PresburgerSet PresburgerSet::getEmptySet(unsigned nDim, unsigned nSym) { in getEmptySet() function in PresburgerSet