Searched refs:setVarSymbolSeperation (Results 1 – 3 of 3) sorted by relevance
153 void setVarSymbolSeperation(unsigned newSymbolCount);
522 space.setVarSymbolSeperation(newSymbolCount); in setDimSymbolSeparation()
172 void PresburgerSpace::setVarSymbolSeperation(unsigned newSymbolCount) { in setVarSymbolSeperation() function in PresburgerSpace