/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | refinewithcongruences1.cc | 44 ph.refine_with_congruences(cgs); in test01() 67 ph.refine_with_congruences(cgs2); in test02() 109 ph.refine_with_congruences(cgs); in test04() 131 ph.refine_with_congruences(cgs); in test05() 160 ph.refine_with_congruences(cgs); in test06() 186 ph1.refine_with_congruences(cgs); in test07() 211 ph1.refine_with_congruences(cgs); in test08() 237 ph1.refine_with_congruences(cgs); in test09() 262 ph1.refine_with_congruences(cgs); in test10() 288 ph1.refine_with_congruences(cgs); in test11() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | refinewithcongruences1.cc | 56 box.refine_with_congruences(cgs); in test02() 81 box.refine_with_congruences(cgs); in test03() 101 box.refine_with_congruences(cgs); in test04() 126 box.refine_with_congruences(cgs); in test05() 155 box.refine_with_congruences(cgs); in test06() 201 box.refine_with_congruences(cgs); in test08() 228 box.refine_with_congruences(cgs); in test09() 256 box.refine_with_congruences(cgs); in test10() 337 box.refine_with_congruences(cgs); in test14()
|
H A D | congruences1.cc | 151 box.refine_with_congruences(cgs); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | refinewithcongruences1.cc | 87 prp.refine_with_congruences(cgs); in test03() 90 gr.refine_with_congruences(cgs); in test03() 152 dp.refine_with_congruences(cgs); in test06() 181 prp.refine_with_congruences(cgs); in test07() 210 prp.refine_with_congruences(cgs); in test08() 238 prp.refine_with_congruences(cgs); in test09()
|
H A D | constraintsproduct1.cc | 380 ab1.refine_with_congruences(cgs); 384 box1.refine_with_congruences(cgs); 388 affs1.refine_with_congruences(cgs); 392 gb1.refine_with_congruences(cgs); 437 known_gb.refine_with_congruences(cgs); 484 ab1.refine_with_congruences(cgs); 486 box1.refine_with_congruences(cgs); 488 affs1.refine_with_congruences(cgs); 490 gb1.refine_with_congruences(cgs); 523 known_gb.refine_with_congruences(cgs);
|
H A D | fromproduct1.cc | 117 src.refine_with_congruences(cgs); in test04() 147 src.refine_with_congruences(cgs); in test05()
|
H A D | generalizedaffineimage1.cc | 181 prp.refine_with_congruences(cs); in test06()
|
H A D | bounds1.cc | 567 src.refine_with_congruences(cgs); in test20() 597 src.refine_with_congruences(cgs); in test21()
|
H A D | refinewithconstraints1.cc | 311 prp.refine_with_congruences(cgs1); in test11()
|
H A D | smashproduct1.cc | 193 sp.refine_with_congruences(cgs); in test07()
|
/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | refinewithcongruences1.cc | 72 gr.refine_with_congruences(cgs); in test02() 118 gr.refine_with_congruences(cgs); in test04() 168 gr.refine_with_congruences(cgs); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | refinewith1.cc | 110 pps.refine_with_congruences(cgs); in test02() 156 pps.refine_with_congruences(cgs); in test03() 199 pps.refine_with_congruences(cgs); in test04()
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | congruences1.cc | 156 oct2.refine_with_congruences(cgs); in test06() 180 oct2.refine_with_congruences(cgs); in test07()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Partially_Reduced_Product_inlines.hh | 448 ::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::Partially_Reduced_Product 449 d1.refine_with_congruences(cgs); in refine_with_congruences() 450 d2.refine_with_congruences(cgs); in refine_with_congruences()
|
H A D | Grid_inlines.hh | 290 Grid::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::Grid
|
H A D | Partially_Reduced_Product_templates.hh | 133 d2.refine_with_congruences(cgs); in add_recycled_congruences() 138 d1.refine_with_congruences(cgs); in add_recycled_congruences()
|
H A D | BD_Shape_inlines.hh | 238 BD_Shape<T>::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::BD_Shape 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() 509 Octagonal_Shape<T>::refine_with_congruences(const Congruence_System& cgs) { in refine_with_congruences() function in Parma_Polyhedra_Library::Octagonal_Shape
|
H A D | Pointset_Powerset_defs.hh | 656 void refine_with_congruences(const Congruence_System& cgs);
|
H A D | Partially_Reduced_Product_defs.hh | 980 void refine_with_congruences(const Congruence_System& cgs);
|
H A D | Grid_defs.hh | 1045 void refine_with_congruences(const Congruence_System& cgs);
|
H A D | Polyhedron_defs.hh | 1008 void refine_with_congruences(const Congruence_System& cgs);
|
H A D | Box_defs.hh | 898 void refine_with_congruences(const Congruence_System& cgs);
|
H A D | Octagonal_Shape_defs.hh | 1031 void refine_with_congruences(const Congruence_System& cgs);
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 424 public native void refine_with_congruences(Congruence_System cgs); in refine_with_congruences() method in Polyhedron
|