Searched refs:has_pending_constraints (Results 1 – 10 of 10) sorted by relevance
165 Polyhedron::has_pending_constraints() const { in has_pending_constraints() function in Parma_Polyhedra_Library::Polyhedron194 if (generators_are_up_to_date() && !has_pending_constraints()) { in is_empty()304 if (has_pending_constraints()) { in process_pending()360 if (has_pending_constraints() || !constraints_are_minimized()) { in simplified_constraints()
118 if (!has_pending_constraints()) in constraints()159 if ((has_pending_constraints() && !process_pending_constraints()) in generators()244 if ((has_pending_constraints() && !process_pending_constraints()) in relation_with()313 if ((has_pending_constraints() && !process_pending_constraints()) in relation_with()530 || (has_pending_constraints() && !process_pending_constraints()) in is_bounded()610 if (has_pending_constraints() && !process_pending()) { in contains_integer_point()617 PPL_ASSERT(!has_pending_constraints()); in contains_integer_point()741 if (generators_are_up_to_date() && !has_pending_constraints()) { in constrains()1267 if (has_pending_constraints()) { in OK()1647 if ((has_pending_constraints() && !process_pending_constraints()) in add_recycled_generators()[all …]
434 if (x.has_pending_constraints() && !x.process_pending_constraints()) { in is_included_in()583 || (has_pending_constraints() && !process_pending_constraints()) in bounds()638 || (has_pending_constraints() && !process_pending_constraints()) in max_min()739 PPL_ASSERT(has_pending_constraints() && !has_pending_generators()); in process_pending_constraints()779 PPL_ASSERT(has_pending_generators() && !has_pending_constraints()); in process_pending_generators()816 if (x.has_pending_constraints()) { in remove_pending_to_obtain_constraints()851 PPL_ASSERT(x.has_pending_constraints()); in remove_pending_to_obtain_generators()2271 if (!is_necessarily_closed() && has_pending_constraints()) { in drop_some_non_integer_points()2282 PPL_ASSERT(is_necessarily_closed() || !has_pending_constraints()); in drop_some_non_integer_points()2395 || (x.has_pending_constraints() && !x.process_pending_constraints()) in positive_time_elapse_assign_impl()[all …]
47 && !has_pending_constraints() in select_CH78_constraints()362 if ((x.has_pending_constraints() && !x.process_pending_constraints()) in limited_H79_extrapolation_assign()903 if ((x.has_pending_constraints() && !x.process_pending_constraints()) in limited_BHRZ03_extrapolation_assign()
2104 bool has_pending_constraints() const;
160 || (has_pending_constraints() in map_space_dimensions()
380 if (ph.generators_are_up_to_date() && !ph.has_pending_constraints()) { in Box()
222 || (!ph.has_pending_constraints() && ph.generators_are_up_to_date())) { in BD_Shape()
64 || (!ph.has_pending_constraints() && ph.generators_are_up_to_date())) { in Octagonal_Shape()
49492 bool has_pending_constraints() const;50581 Polyhedron::has_pending_constraints() const {50610 if (generators_are_up_to_date() && !has_pending_constraints()) {50720 if (has_pending_constraints()) {50776 if (has_pending_constraints() || !constraints_are_minimized()) {53555 || (has_pending_constraints()71118 || (!ph.has_pending_constraints() && ph.generators_are_up_to_date())) {80769 || (!ph.has_pending_constraints() && ph.generators_are_up_to_date())) {87999 if (ph.generators_are_up_to_date() && !ph.has_pending_constraints()) {