Searched refs:setDimSymbolSeparation (Results 1 – 4 of 4) sorted by relevance
378 void setDimSymbolSeparation(unsigned newSymbolCount);
2955 cst.setDimSymbolSeparation(/*newSymbolCount=*/cst.getNumDimAndSymbolIds() - in createSeparationCondition()2994 cst.setDimSymbolSeparation(0); in createSeparationCondition()3029 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolIds() - 1); in createFullTiles()3042 cst.setDimSymbolSeparation(/*newSymbolCount=*/0); in createFullTiles()
606 cst->setDimSymbolSeparation(cst->getNumSymbolIds() + 1); in turnDimIntoSymbol()616 cst->setDimSymbolSeparation(cst->getNumSymbolIds() - 1); in turnSymbolIntoDim()1991 void FlatAffineConstraints::setDimSymbolSeparation(unsigned newSymbolCount) { in setDimSymbolSeparation() function in FlatAffineConstraints
342 cst.setDimSymbolSeparation(cst.getNumDimAndSymbolIds() - rank); in compute()