Searched refs:removeTrivialRedundancy (Results 1 – 4 of 4) sorted by relevance
557 void removeTrivialRedundancy();
382 cst.removeTrivialRedundancy(); in compute()1094 fac.removeTrivialRedundancy(); in simplifyIntegerSet()
2374 void FlatAffineConstraints::removeTrivialRedundancy() { in removeTrivialRedundancy() function in FlatAffineConstraints2682 newFac.removeTrivialRedundancy(); in FourierMotzkinEliminate()2904 removeTrivialRedundancy(); in unionBoundingBox()
2989 cst.removeTrivialRedundancy(); in createSeparationCondition()