Searched refs:set_congruences_minimized (Results 1 – 7 of 7) sorted by path
62 mgr.set_congruences_minimized(); in Grid_Certificate()
2080 void set_congruences_minimized();
70 Grid::set_congruences_minimized() { in set_congruences_minimized() function in Parma_Polyhedra_Library::Grid
77 set_congruences_minimized(); in construct()505 gr.set_congruences_minimized(); in update_congruences()530 x.set_congruences_minimized(); in update_generators()568 gr.set_congruences_minimized(); in minimize()
327 gr.set_congruences_minimized(); in minimized_congruences()764 gr.set_congruences_minimized(); in is_empty()
100 x.set_congruences_minimized(); in congruence_widening_assign()116 yy.set_congruences_minimized(); in congruence_widening_assign()
58741 void set_congruences_minimized();59564 Grid::set_congruences_minimized() {