Searched refs:constraints_are_up_to_date (Results 1 – 12 of 12) sorted by relevance
110 else if (!constraints_are_up_to_date()) { in constraints()275 else if (!constraints_are_up_to_date()) { in relation_with()811 else if (!constraints_are_up_to_date()) { in constrains()946 if (constraints_are_up_to_date()) { in OK()1122 if (constraints_are_up_to_date()) { in OK()1573 else if (!constraints_are_up_to_date()) { in add_recycled_constraints()1820 else if (!constraints_are_up_to_date()) { in refine_with_constraints()2017 else if (!x.constraints_are_up_to_date()) { in intersection_assign()2781 if (constraints_are_up_to_date()) { in affine_image()2860 if (constraints_are_up_to_date()) { in affine_preimage()[all …]
77 if (constraints_are_up_to_date()) { in add_space_dimensions_and_embed()154 if (constraints_are_up_to_date()) { in add_space_dimensions_and_project()225 else if (!constraints_are_up_to_date()) { in concatenate_assign()
135 Polyhedron::constraints_are_up_to_date() const { in constraints_are_up_to_date() function in Parma_Polyhedra_Library::Polyhedron355 PPL_ASSERT(constraints_are_up_to_date()); in simplified_constraints()
81 if (y.constraints_are_up_to_date()) { in Polyhedron()339 if (y.constraints_are_up_to_date()) { in operator =()446 if (!y.constraints_are_up_to_date()) { in is_included_in()881 PPL_ASSERT(constraints_are_up_to_date()); in update_generators()976 PPL_ASSERT(constraints_are_up_to_date()); in obtain_sorted_constraints()1034 PPL_ASSERT(constraints_are_up_to_date()); in obtain_sorted_constraints_with_sat_c()1133 if (constraints_are_up_to_date()) { in minimize()1450 else if (!constraints_are_up_to_date()) { in refine_no_check()2261 if (!constraints_are_up_to_date()) { in drop_some_non_integer_points()2281 PPL_ASSERT(!has_pending_generators() && constraints_are_up_to_date()); in drop_some_non_integer_points()
79 && constraints_are_up_to_date()); in select_H79_constraints()213 if (x.has_pending_generators() || !x.constraints_are_up_to_date()) { in H79_widening_assign()260 else if (!x.constraints_are_up_to_date()) { in H79_widening_assign()
2084 bool constraints_are_up_to_date() const;
218 if (constraints_are_up_to_date()) { in map_space_dimensions()
192 PPL_ASSERT(ph.constraints_are_up_to_date()); in Grid()
387 PPL_ASSERT(ph.constraints_are_up_to_date()); in Box()
230 PPL_ASSERT(ph.constraints_are_up_to_date()); in BD_Shape()
72 PPL_ASSERT(ph.constraints_are_up_to_date()); in Octagonal_Shape()
49472 bool constraints_are_up_to_date() const;50551 Polyhedron::constraints_are_up_to_date() const {50771 PPL_ASSERT(constraints_are_up_to_date());53613 if (constraints_are_up_to_date()) {71126 PPL_ASSERT(ph.constraints_are_up_to_date());80777 PPL_ASSERT(ph.constraints_are_up_to_date());88006 PPL_ASSERT(ph.constraints_are_up_to_date());