Searched refs:newSymbolCount (Results 1 – 3 of 3) sorted by relevance
172 void PresburgerSpace::setVarSymbolSeperation(unsigned newSymbolCount) { in setVarSymbolSeperation() argument173 assert(newSymbolCount <= getNumDimAndSymbolVars() && in setVarSymbolSeperation()175 numRange = numRange + numSymbols - newSymbolCount; in setVarSymbolSeperation()176 numSymbols = newSymbolCount; in setVarSymbolSeperation()
521 void setDimSymbolSeparation(unsigned newSymbolCount) { in setDimSymbolSeparation() argument522 space.setVarSymbolSeperation(newSymbolCount); in setDimSymbolSeparation()
153 void setVarSymbolSeperation(unsigned newSymbolCount);