Searched refs:removeRedundantConstraints (Results 1 – 4 of 4) sorted by relevance
484 poly.removeRedundantConstraints(); in TEST()492 poly2.removeRedundantConstraints(); in TEST()502 poly3.removeRedundantConstraints(); in TEST()557 poly4.removeRedundantConstraints(); in TEST()567 poly5.removeRedundantConstraints(); in TEST()698 poly.removeRedundantConstraints(); in TEST()
580 disjuncts[i].removeRedundantConstraints(); in SetCoalescer()653 disjuncts[n - 2].removeRedundantConstraints(); in addCoalescedDisjunct()669 disjuncts[n - 2].removeRedundantConstraints(); in addCoalescedDisjunct()
1052 void IntegerRelation::removeRedundantConstraints() { in removeRedundantConstraints() function in IntegerRelation
470 void removeRedundantConstraints();