Searched refs:numRange (Results 1 – 2 of 2) sorted by relevance
80 unsigned numRange = 0,83 return PresburgerSpace(numDomain, numRange, numSymbols, numLocals);94 unsigned getNumRangeVars() const { return numRange; } in getNumRangeVars()95 unsigned getNumSetDimVars() const { return numRange; } in getNumSetDimVars()99 unsigned getNumDimVars() const { return numDomain + numRange; } in getNumDimVars()101 return numDomain + numRange + numSymbols; in getNumDimAndSymbolVars()104 return numDomain + numRange + numSymbols + numLocals; in getNumVars()230 PresburgerSpace(unsigned numDomain = 0, unsigned numRange = 0,232 : numDomain(numDomain), numRange(numRange), numSymbols(numSymbols), in numDomain()254 unsigned numRange; variable
80 numRange += num; in insertVar()105 numRange -= numVarsEliminated; in removeVarRange()175 numRange = numRange + numSymbols - newSymbolCount; in setVarSymbolSeperation()