Searched refs:setDimSymbolSeparation (Results 1 – 4 of 4) sorted by relevance
521 void setDimSymbolSeparation(unsigned newSymbolCount) { in setDimSymbolSeparation() function
2673 cst.setDimSymbolSeparation(/*newSymbolCount=*/cst.getNumDimAndSymbolVars() - in createSeparationCondition()2712 cst.setDimSymbolSeparation(0); in createSeparationCondition()2747 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - 1); in createFullTiles()2760 cst.setDimSymbolSeparation(/*newSymbolCount=*/0); in createFullTiles()
554 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - rank); in compute()
513 cst->setDimSymbolSeparation(cst->getNumSymbolVars() - 1); in turnSymbolIntoDim()