Home
last modified time | relevance | path

Searched refs:remove_higher_space_dimensions (Results 1 – 25 of 40) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Dremovespacedims2.cc41 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 Dremovespacedims1.cc143 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 Daddspacedims1.cc169 box.remove_higher_space_dimensions(5); in test07()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dremovespacedims1.cc152 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 Dremovespacedims2.cc44 ph1.remove_higher_space_dimensions(1); in test01()
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dremovespacedims1.cc151 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 Daddspacedims1.cc170 bds.remove_higher_space_dimensions(5); in test07()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dremovespacedims1.cc37 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 Dspacedims1.cc56 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 Dtermination.cc523 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 DPartially_Reduced_Product_inlines.hh619 ::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 DPolyhedron_chdims.cc353 PPL::Polyhedron::remove_higher_space_dimensions(dimension_type new_dimension) { in remove_higher_space_dimensions() function in PPL::Polyhedron
H A DGrid_chdims.cc318 PPL::Grid::remove_higher_space_dimensions(const dimension_type new_dimension) { in remove_higher_space_dimensions() function in PPL::Grid
H A DPointset_Powerset_defs.hh1176 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DPartially_Reduced_Product_defs.hh1463 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DGrid_defs.hh1819 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DPolyhedron_public.cc2997 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 DPolyhedron_defs.hh1888 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DBox_defs.hh1524 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DOctagonal_Shape_defs.hh1730 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DBD_Shape_defs.hh1789 void remove_higher_space_dimensions(dimension_type new_dimension);
H A DPointset_Powerset_templates.hh306 ::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 Dspacedims1.cc132 prp.remove_higher_space_dimensions(2); in test04()
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java816 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 Dppl_interface_generator_java_test_java_code.m4551 PPL_Test.print_if_noisy("Testing remove_higher_space_dimensions: ");
553 gd.remove_higher_space_dimensions(2);

12