/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | removespacedims2.cc | 41 gr.remove_higher_space_dimensions(2); in test01() 63 gr.remove_higher_space_dimensions(1); in test02() 80 gr.remove_higher_space_dimensions(3); in test03() 105 gr.remove_higher_space_dimensions(1); in test04() 135 gr.remove_higher_space_dimensions(gr.space_dimension()); in test05() 158 gr.remove_higher_space_dimensions(0); in test06() 176 gr.remove_higher_space_dimensions(6); in test07() 200 gr.remove_higher_space_dimensions(2); in test08() 228 gr.remove_higher_space_dimensions(1); in test09() 255 gr.remove_higher_space_dimensions(2); in test10()
|
/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | removespacedims1.cc | 143 box.remove_higher_space_dimensions(0); in test04() 168 box.remove_higher_space_dimensions(1); in test05() 193 box.remove_higher_space_dimensions(3); in test06() 218 box.remove_higher_space_dimensions(3); in test07() 235 box.remove_higher_space_dimensions(7); in test08() 297 box.remove_higher_space_dimensions(3); in test10()
|
H A D | addspacedims1.cc | 169 box.remove_higher_space_dimensions(5); in test07()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | removespacedims1.cc | 152 ph.remove_higher_space_dimensions(2); in test04() 171 ph.remove_higher_space_dimensions(0); in test05() 205 ph2.remove_higher_space_dimensions(0); in test06() 252 ph.remove_higher_space_dimensions(2); in test08() 271 ph.remove_higher_space_dimensions(1); in test09()
|
H A D | removespacedims2.cc | 44 ph1.remove_higher_space_dimensions(1); in test01()
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | removespacedims1.cc | 151 bds.remove_higher_space_dimensions(0); in test04() 178 bds.remove_higher_space_dimensions(1); in test05() 207 bds.remove_higher_space_dimensions(3); in test06() 238 bds.remove_higher_space_dimensions(3); in test07() 255 bds.remove_higher_space_dimensions(7); in test08() 320 bds.remove_higher_space_dimensions(3); in test10()
|
H A D | addspacedims1.cc | 170 bds.remove_higher_space_dimensions(5); in test07()
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | removespacedims1.cc | 37 oct1.remove_higher_space_dimensions(2); in test01() 97 oct1.remove_higher_space_dimensions(3); in test03() 179 oc.remove_higher_space_dimensions(7); in test06() 293 oct1.remove_higher_space_dimensions(6); in test10() 317 oct1.remove_higher_space_dimensions(0); in test11()
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | spacedims1.cc | 56 ps.remove_higher_space_dimensions(4); in test01() 99 ps.remove_higher_space_dimensions(4); in test02()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | termination.cc | 523 ph1.remove_higher_space_dimensions(n); in all_affine_ranking_functions_MS() 525 ph2.remove_higher_space_dimensions(n+1); in all_affine_ranking_functions_MS() 568 ph1.remove_higher_space_dimensions(n); in all_affine_quasi_ranking_functions_MS() 570 ph2.remove_higher_space_dimensions(n+1); in all_affine_quasi_ranking_functions_MS() 811 ph.remove_higher_space_dimensions(s); in all_affine_ranking_functions_PR()
|
H A D | Partially_Reduced_Product_inlines.hh | 619 ::remove_higher_space_dimensions(dimension_type new_dimension) { in remove_higher_space_dimensions() function in Parma_Polyhedra_Library::Partially_Reduced_Product 620 d1.remove_higher_space_dimensions(new_dimension); in remove_higher_space_dimensions() 621 d2.remove_higher_space_dimensions(new_dimension); in remove_higher_space_dimensions()
|
H A D | Polyhedron_chdims.cc | 353 PPL::Polyhedron::remove_higher_space_dimensions(dimension_type new_dimension) { in remove_higher_space_dimensions() function in PPL::Polyhedron
|
H A D | Grid_chdims.cc | 318 PPL::Grid::remove_higher_space_dimensions(const dimension_type new_dimension) { in remove_higher_space_dimensions() function in PPL::Grid
|
H A D | Pointset_Powerset_defs.hh | 1176 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | Partially_Reduced_Product_defs.hh | 1463 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | Grid_defs.hh | 1819 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | Polyhedron_public.cc | 2997 remove_higher_space_dimensions(space_dim-1); in bounded_affine_image() 3075 remove_higher_space_dimensions(space_dim-1); in bounded_affine_preimage() 3423 remove_higher_space_dimensions(space_dim-1); in generalized_affine_image() 3562 remove_higher_space_dimensions(space_dim-1); in generalized_affine_preimage()
|
H A D | Polyhedron_defs.hh | 1888 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | Box_defs.hh | 1524 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | Octagonal_Shape_defs.hh | 1730 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | BD_Shape_defs.hh | 1789 void remove_higher_space_dimensions(dimension_type new_dimension);
|
H A D | Pointset_Powerset_templates.hh | 306 ::remove_higher_space_dimensions(dimension_type new_dimension) { in remove_higher_space_dimensions() function in Parma_Polyhedra_Library::Pointset_Powerset 311 si->pointset().remove_higher_space_dimensions(new_dimension); in remove_higher_space_dimensions()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | spacedims1.cc | 132 prp.remove_higher_space_dimensions(2); in test04()
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 816 public native void remove_higher_space_dimensions(long in remove_higher_space_dimensions() method in Polyhedron
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/tests/ |
H A D | ppl_interface_generator_java_test_java_code.m4 | 551 PPL_Test.print_if_noisy("Testing remove_higher_space_dimensions: "); 553 gd.remove_higher_space_dimensions(2);
|