Searched refs:set_generators_minimized (Results 1 – 12 of 12) sorted by relevance
78 set_generators_minimized(); in construct()435 gr.set_generators_minimized(); in max_min()506 gr.set_generators_minimized(); in update_congruences()531 x.set_generators_minimized(); in update_generators()557 gr.set_generators_minimized(); in minimize()572 gr.set_generators_minimized(); in minimize()
78 mgr.set_generators_minimized(); in Grid_Certificate()
303 x.set_generators_minimized(); in generator_widening_assign()320 yy.set_generators_minimized(); in generator_widening_assign()
76 Grid::set_generators_minimized() { in set_generators_minimized() function in Parma_Polyhedra_Library::Grid
141 set_generators_minimized(); in add_space_dimensions_and_project()
217 Polyhedron::set_generators_minimized() { in set_generators_minimized() function in Parma_Polyhedra_Library::Polyhedron
2083 void set_generators_minimized();
2157 void set_generators_minimized();
874 x.set_generators_minimized(); in update_constraints()899 x.set_generators_minimized(); in update_generators()
373 gr.set_generators_minimized(); in minimized_grid_generators()
1437 set_generators_minimized(); in add_generator()
49545 void set_generators_minimized();50633 Polyhedron::set_generators_minimized() {58744 void set_generators_minimized();59570 Grid::set_generators_minimized() {