Searched refs:setDimSymbolSeparation (Results 1 – 4 of 4) sorted by relevance
649 void setDimSymbolSeparation(unsigned newSymbolCount) { in setDimSymbolSeparation() function
294 cst->setDimSymbolSeparation(cst->getNumSymbolVars() - 1); in turnSymbolIntoDim()
1150 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - rank); in compute()
2575 cst.setDimSymbolSeparation(/*newSymbolCount=*/cst.getNumDimAndSymbolVars() - in createSeparationCondition() 2614 cst.setDimSymbolSeparation(0); in createSeparationCondition() 2649 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolVars() - 1); in createFullTiles() 2662 cst.setDimSymbolSeparation(/*newSymbolCount=*/0); in createFullTiles()