Searched refs:generators_are_up_to_date (Results 1 – 19 of 19) sorted by relevance
55 if (y.generators_are_up_to_date()) { in Grid()180 || !ph.generators_are_up_to_date(); in Grid()265 if (y.generators_are_up_to_date()) { in operator =()278 if (generators_are_up_to_date()) { in affine_dimension()368 if (generators_are_up_to_date()) { in minimized_grid_generators()748 if (generators_are_up_to_date()) { in is_empty()898 if (generators_are_up_to_date()) { in constrains()1035 if (generators_are_up_to_date()) { in OK()1916 if (generators_are_up_to_date()) { in affine_image()2019 if (generators_are_up_to_date()) { in affine_preimage()[all …]
78 if (generators_are_up_to_date()) { in add_space_dimensions_and_embed()95 PPL_ASSERT(generators_are_up_to_date()); in add_space_dimensions_and_embed()155 if (generators_are_up_to_date()) { in add_space_dimensions_and_project()172 PPL_ASSERT(generators_are_up_to_date()); in add_space_dimensions_and_project()322 || (!generators_are_up_to_date() && !update_generators())) { in remove_space_dimensions()372 || (!generators_are_up_to_date() && !update_generators())) { in remove_higher_space_dimensions()
117 if (generators_are_up_to_date()) { in add_space_dimensions_and_embed()131 PPL_ASSERT(generators_are_up_to_date()); in add_space_dimensions_and_embed()191 if (generators_are_up_to_date()) { in add_space_dimensions_and_project()205 PPL_ASSERT(generators_are_up_to_date()); in add_space_dimensions_and_project()291 || (!generators_are_up_to_date() && !update_generators())) { in remove_space_dimensions()349 if (generators_are_up_to_date()) { in remove_higher_space_dimensions()
203 if (!x.generators_are_up_to_date() && !x.update_generators()) { in limited_congruence_extrapolation_assign()299 if (x.generators_are_up_to_date()) { in generator_widening_assign()316 if (yy.generators_are_up_to_date()) { in generator_widening_assign()412 if (!x.generators_are_up_to_date() && !x.update_generators()) { in limited_generator_extrapolation_assign()461 if (x.generators_are_up_to_date() && y.generators_are_up_to_date()) { in widening_assign()514 if (!x.generators_are_up_to_date() && !x.update_generators()) { in limited_extrapolation_assign()
618 if (generators_are_up_to_date()) { in contains_integer_point()972 if (generators_are_up_to_date()) { in OK()983 if (generators_are_up_to_date()) { in OK()1440 PPL_ASSERT(generators_are_up_to_date()); in add_generator()1923 PPL_ASSERT(generators_are_up_to_date()); in unconstrain()1962 PPL_ASSERT(generators_are_up_to_date()); in unconstrain()2771 if (generators_are_up_to_date()) { in affine_image()2808 else if (!generators_are_up_to_date()) { in affine_image()2870 if (generators_are_up_to_date()) { in affine_preimage()3060 if (generators_are_up_to_date()) { in bounded_affine_preimage()[all …]
127 || (!generators_are_up_to_date() && !update_generators())) { in map_space_dimensions()186 if (generators_are_up_to_date()) { in map_space_dimensions()
84 if (y.generators_are_up_to_date()) { in Polyhedron()342 if (y.generators_are_up_to_date()) { in operator =()443 if (!x.generators_are_up_to_date() && !x.update_generators()) { in is_included_in()584 || (!generators_are_up_to_date() && !update_generators())) { in bounds()639 || (!generators_are_up_to_date() && !update_generators())) { in max_min()862 PPL_ASSERT(generators_are_up_to_date()); in update_constraints()1005 PPL_ASSERT(generators_are_up_to_date()); in obtain_sorted_generators()1070 PPL_ASSERT(generators_are_up_to_date()); in obtain_sorted_generators_with_sat_g()1140 PPL_ASSERT(generators_are_up_to_date()); in minimize()2396 || (!x.generators_are_up_to_date() && !x.update_generators()) in positive_time_elapse_assign_impl()[all …]
255 if (!x.generators_are_up_to_date() && !x.update_generators()) { in is_included_in()298 || (!generators_are_up_to_date() && !update_generators())) { in bounds()551 if (generators_are_up_to_date()) { in minimize()584 PPL_ASSERT(generators_are_up_to_date()); in minimize()
140 Polyhedron::generators_are_up_to_date() const { in generators_are_up_to_date() function in Parma_Polyhedra_Library::Polyhedron194 if (generators_are_up_to_date() && !has_pending_constraints()) { in is_empty()
48 if (gr.generators_are_up_to_date() && gr.generators_are_minimized()) { in Grid_Certificate()
48 && generators_are_up_to_date()); in select_CH78_constraints()83 && y.generators_are_up_to_date()); in select_H79_constraints()363 || (!x.generators_are_up_to_date() && !x.update_generators())) { in limited_H79_extrapolation_assign()904 || (!x.generators_are_up_to_date() && !x.update_generators())) { in limited_BHRZ03_extrapolation_assign()
162 || (!generators_are_up_to_date() && !update_generators())) { in map_space_dimensions()222 if (generators_are_up_to_date()) { in map_space_dimensions()
45 Grid::generators_are_up_to_date() const { in generators_are_up_to_date() function in Parma_Polyhedra_Library::Grid
2048 bool generators_are_up_to_date() const;
2087 bool generators_are_up_to_date() const;
380 if (ph.generators_are_up_to_date() && !ph.has_pending_constraints()) { in Box()497 if (!gr.generators_are_up_to_date() && !gr.update_generators()) { 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()
49475 bool generators_are_up_to_date() const;50556 Polyhedron::generators_are_up_to_date() const {50610 if (generators_are_up_to_date() && !has_pending_constraints()) {53557 || (!generators_are_up_to_date() && !update_generators())) {53617 if (generators_are_up_to_date()) {58709 bool generators_are_up_to_date() const;59539 Grid::generators_are_up_to_date() const {59985 || (!generators_are_up_to_date() && !update_generators())) {60044 if (generators_are_up_to_date()) {87999 if (ph.generators_are_up_to_date() && !ph.has_pending_constraints()) {[all …]