Searched refs:normalizeConstraintsByGCD (Results 1 – 3 of 3) sorted by relevance
663 void normalizeConstraintsByGCD();
484 void IntegerRelation::normalizeConstraintsByGCD() { in normalizeConstraintsByGCD() function in IntegerRelation1629 normalizeConstraintsByGCD(); in removeTrivialRedundancy()1882 newRel.normalizeConstraintsByGCD(); in fourierMotzkinEliminate()1924 normalizeConstraintsByGCD(); in projectOut()
982 normalizeConstraintsByGCD(); in getSliceBounds()