Home
last modified time | relevance | path

Searched refs:minimized_congruences (Results 1 – 25 of 34) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dmincongruences1.cc38 Congruence_System cgs = gr1.minimized_congruences(); in test01()
56 Congruence_System cgs = gr1.minimized_congruences(); in test02()
75 Congruence_System cgs = gr1.minimized_congruences(); in test03()
98 Congruence_System cgs = gr1.minimized_congruences(); in test04()
127 Congruence_System cgs = gr1.minimized_congruences(); in test05()
146 const Congruence_System& cgs = gr1.minimized_congruences(); in test06()
171 const Congruence_System& cgs = gr1.minimized_congruences(); in test07()
200 Congruence_System cgs = gr1.minimized_congruences(); in test08()
H A Disuniverse1.cc188 gr.minimized_congruences(); in test10()
208 gr.minimized_congruences(); in test11()
228 gr.minimized_congruences(); in test12()
255 gr.minimized_congruences(); in test13()
276 gr.minimized_congruences(); in test14()
H A Disempty1.cc182 gr.minimized_congruences(); in test10()
202 gr.minimized_congruences(); in test11()
223 gr.minimized_congruences(); in test12()
249 gr.minimized_congruences(); in test13()
H A Dequals1.cc148 gr1.minimized_congruences(); in test05()
153 gr2.minimized_congruences(); in test05()
H A Daddspacedims1.cc197 gr.minimized_congruences(); in test08()
464 gr.minimized_congruences(); in test18()
H A Daddcongruences1.cc300 gr.minimized_congruences(); in test11()
H A Dconcatenate1.cc308 gr2.minimized_congruences(); in test11()
H A Dcontainsintegerpoint1.cc121 gr_cgs_min.minimized_congruences(); in test05()
H A Ddiscrete1.cc118 gr_cgs_min.minimized_congruences(); in test05()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dcongruences1.cc162 Congruence_System cgs = ph1.minimized_congruences(); in test07()
181 Congruence_System cgs = ph1.minimized_congruences(); in test08()
199 Congruence_System cgs = ph1.minimized_congruences(); in test09()
217 Congruence_System cgs = ph1.minimized_congruences(); in test10()
242 Congruence_System cgs = ph1.minimized_congruences(); in test11()
269 Congruence_System cgs = ph1.minimized_congruences(); in test12()
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dcongruences1.cc220 TBox box1(box.minimized_congruences()); in test09()
248 TBox box1(box.minimized_congruences()); in test10()
H A Drefinewithcongruences1.cc229 TBox box1(box.minimized_congruences()); in test09()
258 TBox box1(box.minimized_congruences()); in test10()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dcongruences1.cc81 Grid gr(dp.minimized_congruences()); in test02()
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_templates.hh95 Partially_Reduced_Product<D1, D2, R>::minimized_congruences() const { in minimized_congruences() function in Parma_Polyhedra_Library::Partially_Reduced_Product
104 return gr.minimized_congruences(); in minimized_congruences()
642 const Congruence_System cgs1 = d1.minimized_congruences(); in product_reduce()
658 const Congruence_System cgs2 = d2.minimized_congruences(); in product_reduce()
H A DGrid_inlines.hh245 return Constraint_System(minimized_congruences()); in minimized_constraints()
H A DPolyhedron_inlines.hh372 Polyhedron::minimized_congruences() const { in minimized_congruences() function in Parma_Polyhedra_Library::Polyhedron
H A DBD_Shape_inlines.hh160 return minimized_congruences(); in congruences()
321 refine_with_congruences(grid.minimized_congruences()); in BD_Shape()
H A DOctagonal_Shape_inlines.hh202 refine_with_congruences(grid.minimized_congruences()); in Octagonal_Shape()
227 return minimized_congruences(); in congruences()
H A DPartially_Reduced_Product_defs.hh669 Congruence_System minimized_congruences() const;
H A DPointset_Powerset.cc201 (void) q.minimized_congruences(); in approximate_partition()
H A DGrid_defs.hh624 const Congruence_System& minimized_congruences() const;
H A DPolyhedron_defs.hh549 Congruence_System minimized_congruences() const;
H A DBox_defs.hh1710 Congruence_System minimized_congruences() const;
H A DGrid_public.cc287 minimized_congruences(); in affine_dimension()
319 PPL::Grid::minimized_congruences() const { in minimized_congruences() function in PPL::Grid
3165 s << gr.minimized_congruences(); in operator <<()
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java67 public native Congruence_System minimized_congruences(); in minimized_congruences() method in Polyhedron

12