Home
last modified time | relevance | path

Searched refs:add_space_dimensions_and_project (Results 1 – 25 of 28) sorted by relevance

12

/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Daddspacedims1.cc88 oc.add_space_dimensions_and_project(2); in test03()
119 oc.add_space_dimensions_and_project(2); in test04()
150 oc2.add_space_dimensions_and_project(0); in test05()
168 oc1.add_space_dimensions_and_project(2); in test06()
169 oc2.add_space_dimensions_and_project(1); in test06()
190 oc1.add_space_dimensions_and_project(2); in test07()
191 oc2.add_space_dimensions_and_project(1); in test07()
213 oc1.add_space_dimensions_and_project(2); in test08()
214 oc2.add_space_dimensions_and_project(1); in test08()
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Daddspacedims1.cc103 bds.add_space_dimensions_and_project(4); in test04()
132 bds.add_space_dimensions_and_project(0); in test05()
152 bds.add_space_dimensions_and_project(3); in test06()
188 bds.add_space_dimensions_and_project(2); in test08()
210 bds1.add_space_dimensions_and_project(2); in test09()
211 bds2.add_space_dimensions_and_project(1); in test09()
227 bds.add_space_dimensions_and_project(3); in test10()
249 bds.add_space_dimensions_and_project(4); in test11()
277 bds1.add_space_dimensions_and_project(0); in test12()
/dports/devel/ppl/ppl-1.2/tests/Box/
H A Daddspacedims1.cc103 box.add_space_dimensions_and_project(4); in test04()
131 box.add_space_dimensions_and_project(0); in test05()
151 box.add_space_dimensions_and_project(3); in test06()
187 box.add_space_dimensions_and_project(2); in test08()
209 box1.add_space_dimensions_and_project(2); in test09()
210 box2.add_space_dimensions_and_project(1); in test09()
226 box.add_space_dimensions_and_project(3); in test10()
248 box.add_space_dimensions_and_project(4); in test11()
276 box1.add_space_dimensions_and_project(0); in test12()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Daddspacedims1.cc44 ph.add_space_dimensions_and_project(1); in test01()
68 computed_result1.add_space_dimensions_and_project(4); in test02()
128 ph1.add_space_dimensions_and_project(3); in test04()
137 ph2.add_space_dimensions_and_project(3); in test04()
154 ph.add_space_dimensions_and_project(1); in test05()
181 ph2.add_space_dimensions_and_project(0); in test06()
H A Daddspacedims2.cc49 ph.add_space_dimensions_and_project(2); in test01()
110 ph1.add_space_dimensions_and_project(2); in test03()
121 ph2.add_space_dimensions_and_project(2); in test03()
H A Dexceptions3.cc164 ph.add_space_dimensions_and_project(C_Polyhedron::max_space_dimension()); in test07()
/dports/devel/ppl/ppl-1.2/tests/Grid/
H A Daddspacedims1.cc258 gr.add_space_dimensions_and_project(2); in test10()
281 gr.add_space_dimensions_and_project(3); in test11()
299 gr.add_space_dimensions_and_project(4); in test12()
328 gr.add_space_dimensions_and_project(3); in test13()
363 gr.add_space_dimensions_and_project(2); in test14()
402 gr.add_space_dimensions_and_project(2); in test15()
426 gr.add_space_dimensions_and_project(Grid::max_space_dimension()); in test16()
444 gr.add_space_dimensions_and_project(13); in test17()
468 gr.add_space_dimensions_and_project(2); in test18()
499 gr.add_space_dimensions_and_project(2); in test19()
H A Dconcatenate1.cc314 gr2.add_space_dimensions_and_project(Grid::max_space_dimension() - 1); in test11()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Dspacedims1.cc53 ps.add_space_dimensions_and_project(m); in test01()
96 ps.add_space_dimensions_and_project(m); in test02()
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/
H A Dspacedims1.cc75 prp1.add_space_dimensions_and_project(1); in test02()
/dports/devel/ppl/ppl-1.2/src/
H A DPartially_Reduced_Product_inlines.hh592 ::add_space_dimensions_and_project(dimension_type m) { in add_space_dimensions_and_project() function in Parma_Polyhedra_Library::Partially_Reduced_Product
593 d1.add_space_dimensions_and_project(m); in add_space_dimensions_and_project()
594 d2.add_space_dimensions_and_project(m); in add_space_dimensions_and_project()
H A DPolyhedron_chdims.cc107 PPL::Polyhedron::add_space_dimensions_and_project(dimension_type m) { in add_space_dimensions_and_project() function in PPL::Polyhedron
H A DGrid_chdims.cc154 PPL::Grid::add_space_dimensions_and_project(dimension_type m) { in add_space_dimensions_and_project() function in PPL::Grid
H A DPointset_Powerset_defs.hh1146 void add_space_dimensions_and_project(dimension_type m);
H A DPartially_Reduced_Product_defs.hh1429 void add_space_dimensions_and_project(dimension_type m);
H A DGrid_defs.hh1786 void add_space_dimensions_and_project(dimension_type m);
H A DPolyhedron_defs.hh1853 void add_space_dimensions_and_project(dimension_type m);
H A DBox_defs.hh1478 void add_space_dimensions_and_project(dimension_type m);
H A DOctagonal_Shape_defs.hh1699 void add_space_dimensions_and_project(dimension_type m);
H A DBD_Shape_defs.hh1758 void add_space_dimensions_and_project(dimension_type m);
H A DPointset_Powerset_templates.hh277 Pointset_Powerset<PSET>::add_space_dimensions_and_project(dimension_type m) { in add_space_dimensions_and_project() function in Parma_Polyhedra_Library::Pointset_Powerset
281 si->pointset().add_space_dimensions_and_project(m); in add_space_dimensions_and_project()
H A DBox_templates.hh564 Box<ITV>::add_space_dimensions_and_project(const dimension_type m) { in add_space_dimensions_and_project() function in Parma_Polyhedra_Library::Box
H A DBD_Shape_templates.hh2808 BD_Shape<T>::add_space_dimensions_and_project(const dimension_type m) { in add_space_dimensions_and_project() function in Parma_Polyhedra_Library::BD_Shape
H A DOctagonal_Shape_templates.hh3576 Octagonal_Shape<T>::add_space_dimensions_and_project(dimension_type m) { in add_space_dimensions_and_project() function in Parma_Polyhedra_Library::Octagonal_Shape
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DFake_Class_for_Doxygen.java781 public native void add_space_dimensions_and_project(long m); in add_space_dimensions_and_project() method in Polyhedron

12