Searched refs:constraints_are_minimized (Results 1 – 9 of 9) sorted by relevance
51 && y.constraints_are_minimized()); in select_CH78_constraints()82 && y.constraints_are_minimized() in select_H79_constraints()412 && x.constraints_are_minimized() && x.generators_are_minimized()); in BHRZ03_combining_constraints()414 && y.constraints_are_minimized() && y.generators_are_minimized()); in BHRZ03_combining_constraints()416 && H79.constraints_are_minimized() && H79.generators_are_minimized()); in BHRZ03_combining_constraints()541 && x.constraints_are_minimized() && x.generators_are_minimized()); in BHRZ03_evolving_points()543 && y.constraints_are_minimized() && y.generators_are_minimized()); in BHRZ03_evolving_points()545 && H79.constraints_are_minimized() && H79.generators_are_minimized()); in BHRZ03_evolving_points()689 && x.constraints_are_minimized() && x.generators_are_minimized()); in BHRZ03_evolving_rays()691 && y.constraints_are_minimized() && y.generators_are_minimized()); in BHRZ03_evolving_rays()[all …]
145 Polyhedron::constraints_are_minimized() const { in constraints_are_minimized() function in Parma_Polyhedra_Library::Polyhedron181 return constraints_are_minimized() in can_have_something_pending()360 if (has_pending_constraints() || !constraints_are_minimized()) { in simplified_constraints()
367 if (x.constraints_are_minimized() && y.constraints_are_minimized()) { in quick_equivalence_test()453 if (!y.constraints_are_minimized()) { in is_included_in()906 PPL_ASSERT(constraints_are_minimized()); in update_sat_c()941 PPL_ASSERT(constraints_are_minimized()); in update_sat_g()1035 PPL_ASSERT(constraints_are_minimized()); in obtain_sorted_constraints_with_sat_c()1123 if (constraints_are_minimized() && generators_are_minimized()) { in minimize()
489 else if (!constraints_are_minimized()) { in is_universe()1179 if (check_not_empty || constraints_are_minimized()) { in OK()1193 if (constraints_are_minimized()) { in OK()2216 PPL_ASSERT(x.constraints_are_minimized() in simplify_using_context_assign()2446 PPL_ASSERT(z.constraints_are_minimized() in simplify_using_context_assign()
2094 bool constraints_are_minimized() const;
179 const bool use_constraints = ph.constraints_are_minimized() in Grid()
232 if (!ph.has_something_pending() && ph.constraints_are_minimized()) { in BD_Shape()
74 if (!ph.has_something_pending() && ph.constraints_are_minimized()) { in Octagonal_Shape()
49482 bool constraints_are_minimized() const;50561 Polyhedron::constraints_are_minimized() const {50597 return constraints_are_minimized()50776 if (has_pending_constraints() || !constraints_are_minimized()) {71128 if (!ph.has_something_pending() && ph.constraints_are_minimized()) {80779 if (!ph.has_something_pending() && ph.constraints_are_minimized()) {