Searched refs:generators_are_minimized (Results 1 – 13 of 13) sorted by relevance
207 if (x.generators_are_minimized() && y.generators_are_minimized()) { in quick_equivalence_test()263 if (!x.generators_are_minimized() && !x.minimize()) { in is_included_in()301 if (!generators_are_minimized() && !minimize()) { in bounds()313 PPL_ASSERT(generators_are_minimized() && !marked_empty()); in bounds_no_check()338 PPL_ASSERT(generators_are_minimized() && !marked_empty()); in frequency_no_check()431 if (!generators_are_minimized()) { in max_min()492 if (!generators_are_minimized()) { in update_congruences()545 if (congruences_are_minimized() && generators_are_minimized()) { in minimize()569 if (!generators_are_minimized()) { in minimize()
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()693 && H79.constraints_are_minimized() && H79.generators_are_minimized()); in BHRZ03_evolving_rays()
43 if (congruences_are_minimized() || generators_are_minimized()) { in add_space_dimensions()133 if (generators_are_minimized()) { in add_space_dimensions_and_embed()212 if (generators_are_minimized()) { in add_space_dimensions_and_project()351 if (generators_are_minimized()) { in remove_higher_space_dimensions()
48 if (gr.generators_are_up_to_date() && gr.generators_are_minimized()) { in Grid_Certificate()70 if (!gr.generators_are_minimized()) { in Grid_Certificate()
239 PPL_ASSERT(generators_are_minimized()); in select_wider_generators()240 PPL_ASSERT(y.generators_are_minimized()); in select_wider_generators()300 if (!x.generators_are_minimized()) { in generator_widening_assign()317 if (!yy.generators_are_minimized()) { in generator_widening_assign()
150 Polyhedron::generators_are_minimized() const { in generators_are_minimized() function in Parma_Polyhedra_Library::Polyhedron182 && generators_are_minimized() in can_have_something_pending()
279 if (generators_are_minimized()) { in affine_dimension()369 if (!generators_are_minimized()) { in minimized_grid_generators()907 if (generators_are_minimized()) { in constrains()1055 if (generators_are_minimized()) { in OK()1753 && y.generators_are_minimized()); in simplify_using_context_assign()2720 if (!generators_are_minimized() && !minimize()) { in frequency()2816 if ((generators_are_up_to_date() && generators_are_minimized()) in ascii_dump()2886 && ((generators_are_up_to_date() && generators_are_minimized()) in PPL_OUTPUT_DEFINITIONS()2954 if (!generators_are_minimized() && !minimize()) { in wrap_assign()
185 && generators_are_minimized() && !has_pending_generators()) { in generators()429 PPL_ASSERT(generators_are_minimized()); in is_universe()470 if (generators_are_minimized()) { in is_universe()564 if (generators_are_minimized()) { in is_topologically_closed()750 if (generators_are_minimized()) { in constrains()1063 if (generators_are_minimized()) { in OK()2218 && y.generators_are_minimized() in simplify_using_context_assign()2447 && z.generators_are_minimized() in simplify_using_context_assign()
383 if (x.generators_are_minimized() && y.generators_are_minimized()) { in quick_equivalence_test()450 if (!x.generators_are_minimized()) { in is_included_in()907 PPL_ASSERT(generators_are_minimized()); in update_sat_c()942 PPL_ASSERT(generators_are_minimized()); in update_sat_g()1123 if (constraints_are_minimized() && generators_are_minimized()) { in minimize()
55 Grid::generators_are_minimized() const { in generators_are_minimized() function in Parma_Polyhedra_Library::Grid
2054 bool generators_are_minimized() const;
2101 bool generators_are_minimized() const;
49489 bool generators_are_minimized() const;50566 Polyhedron::generators_are_minimized() const {50598 && generators_are_minimized()58715 bool generators_are_minimized() const;59549 Grid::generators_are_minimized() const {