Searched refs:removeTrivialRedundancy (Results 1 – 4 of 4) sorted by relevance
459 void removeTrivialRedundancy();
1627 void IntegerRelation::removeTrivialRedundancy() { in removeTrivialRedundancy() function in IntegerRelation1883 newRel.removeTrivialRedundancy(); in fourierMotzkinEliminate()2077 removeTrivialRedundancy(); in unionBoundingBox()
595 cst.removeTrivialRedundancy(); in compute()1362 fac.removeTrivialRedundancy(); in simplifyIntegerSet()
2707 cst.removeTrivialRedundancy(); in createSeparationCondition()