Searched refs:removeIndependentConstraints (Results 1 – 3 of 3) sorted by relevance
447 void removeIndependentConstraints(unsigned pos, unsigned num);
2124 void IntegerRelation::removeIndependentConstraints(unsigned pos, unsigned num) { in removeIndependentConstraints() function in IntegerRelation
2662 cst.removeIndependentConstraints(/*pos=*/0, /*num=*/loops.size()); in createSeparationCondition()