/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | mincongruences1.cc | 38 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 D | isuniverse1.cc | 188 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 D | isempty1.cc | 182 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 D | equals1.cc | 148 gr1.minimized_congruences(); in test05() 153 gr2.minimized_congruences(); in test05()
|
H A D | addspacedims1.cc | 197 gr.minimized_congruences(); in test08() 464 gr.minimized_congruences(); in test18()
|
H A D | addcongruences1.cc | 300 gr.minimized_congruences(); in test11()
|
H A D | concatenate1.cc | 308 gr2.minimized_congruences(); in test11()
|
H A D | containsintegerpoint1.cc | 121 gr_cgs_min.minimized_congruences(); in test05()
|
H A D | discrete1.cc | 118 gr_cgs_min.minimized_congruences(); in test05()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | congruences1.cc | 162 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 D | congruences1.cc | 220 TBox box1(box.minimized_congruences()); in test09() 248 TBox box1(box.minimized_congruences()); in test10()
|
H A D | refinewithcongruences1.cc | 229 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 D | congruences1.cc | 81 Grid gr(dp.minimized_congruences()); in test02()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Partially_Reduced_Product_templates.hh | 95 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 D | Grid_inlines.hh | 245 return Constraint_System(minimized_congruences()); in minimized_constraints()
|
H A D | Polyhedron_inlines.hh | 372 Polyhedron::minimized_congruences() const { in minimized_congruences() function in Parma_Polyhedra_Library::Polyhedron
|
H A D | BD_Shape_inlines.hh | 160 return minimized_congruences(); in congruences() 321 refine_with_congruences(grid.minimized_congruences()); in BD_Shape()
|
H A D | Octagonal_Shape_inlines.hh | 202 refine_with_congruences(grid.minimized_congruences()); in Octagonal_Shape() 227 return minimized_congruences(); in congruences()
|
H A D | Partially_Reduced_Product_defs.hh | 669 Congruence_System minimized_congruences() const;
|
H A D | Pointset_Powerset.cc | 201 (void) q.minimized_congruences(); in approximate_partition()
|
H A D | Grid_defs.hh | 624 const Congruence_System& minimized_congruences() const;
|
H A D | Polyhedron_defs.hh | 549 Congruence_System minimized_congruences() const;
|
H A D | Box_defs.hh | 1710 Congruence_System minimized_congruences() const;
|
H A D | Grid_public.cc | 287 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 D | Fake_Class_for_Doxygen.java | 67 public native Congruence_System minimized_congruences(); in minimized_congruences() method in Polyhedron
|