| /dports/devel/ppl/ppl-1.2/tests/Grid/ |
| H A D | simplifyusingcontext1.cc | 46 bool ok = gr1.simplify_using_context_assign(gr2); in test01()
73 bool ok = !gr1.simplify_using_context_assign(gr2); in test02()
101 bool ok = gr1.simplify_using_context_assign(gr2); in test03()
129 bool ok = gr1.simplify_using_context_assign(gr2); in test04()
155 bool ok = gr1.simplify_using_context_assign(gr2); in test05()
184 bool ok = gr1.simplify_using_context_assign(gr2); in test06()
213 bool ok = gr1.simplify_using_context_assign(gr2); in test07()
238 bool ok = !gr1.simplify_using_context_assign(gr2); in test08()
263 bool ok = !gr1.simplify_using_context_assign(gr2); in test09()
347 bool ok = gr1.simplify_using_context_assign(gr2); in test12()
[all …]
|
| /dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
| H A D | simplifyusingcontext1.cc | 150 computed_result.simplify_using_context_assign(ph2); in test03()
188 ph1.simplify_using_context_assign(ph2); in test04()
219 ph1.simplify_using_context_assign(ph2); in test05()
245 ph1.simplify_using_context_assign(ph2); in test06()
275 (void) p.simplify_using_context_assign(q); in test07()
302 (void) p.simplify_using_context_assign(q); in test08()
325 ph1.simplify_using_context_assign(ph2); in test09()
358 ph1.simplify_using_context_assign(ph2); in test10()
377 ph1.simplify_using_context_assign(ph2); in test11()
400 bool ok = !ph1.simplify_using_context_assign(ph2); in test12()
[all …]
|
| H A D | simplifyusingcontext2.cc | 39 computed_result.simplify_using_context_assign(ph2); in test01()
|
| /dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
| H A D | simplifyusingcontext1.cc | 49 bool ok = !oct1.simplify_using_context_assign(oct2); in test01()
83 bool ok = !oct1.simplify_using_context_assign(oct2); in test02()
109 computed_result.simplify_using_context_assign(oct2); in test03()
147 oct1.simplify_using_context_assign(oct2); in test04()
178 oct1.simplify_using_context_assign(oct2); in test05()
207 oct1.simplify_using_context_assign(oct2); in test06()
229 oct1.simplify_using_context_assign(oct2); in test07()
253 oct1.simplify_using_context_assign(oct2); in test08()
287 oct1.simplify_using_context_assign(oct2); in test09()
317 bool ok = oct1.simplify_using_context_assign(oct2); in test10()
|
| /dports/devel/ppl/ppl-1.2/tests/Box/ |
| H A D | simplifyusingcontext1.cc | 49 bool ok = !box1.simplify_using_context_assign(box2); in test01()
83 bool ok = !box1.simplify_using_context_assign(box2); in test02()
109 computed_result.simplify_using_context_assign(box2); in test03()
147 box1.simplify_using_context_assign(box2); in test04()
176 box1.simplify_using_context_assign(box2); in test05()
205 box1.simplify_using_context_assign(box2); in test06()
227 box1.simplify_using_context_assign(box2); in test07()
251 box1.simplify_using_context_assign(box2); in test08()
285 box1.simplify_using_context_assign(box2); in test09()
|
| /dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
| H A D | simplifyusingcontext1.cc | 49 bool ok = !bds1.simplify_using_context_assign(bds2); in test01()
83 bool ok = !bds1.simplify_using_context_assign(bds2); in test02()
109 computed_result.simplify_using_context_assign(bds2); in test03()
147 bds1.simplify_using_context_assign(bds2); in test04()
176 bds1.simplify_using_context_assign(bds2); in test05()
205 bds1.simplify_using_context_assign(bds2); in test06()
227 bds1.simplify_using_context_assign(bds2); in test07()
251 bds1.simplify_using_context_assign(bds2); in test08()
285 bds1.simplify_using_context_assign(bds2); in test09()
|
| /dports/devel/ppl/ppl-1.2/tests/Powerset/ |
| H A D | simplifyusingcontext1.cc | 63 ps1.simplify_using_context_assign(ps2); in test01()
105 ps1.simplify_using_context_assign(ps2); in test02()
141 ps1.simplify_using_context_assign(ps2); in test03()
195 ps1.simplify_using_context_assign(ps2); in test04()
257 ps1.simplify_using_context_assign(ps2); in test05()
299 ps1.simplify_using_context_assign(ps2); in test06()
331 ps1.simplify_using_context_assign(ps2); in test07()
371 ps1.simplify_using_context_assign(ps2); in test08()
434 ps1.simplify_using_context_assign(ps2); in test09()
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
| H A D | Fake_Class_for_Doxygen.java | 478 public native boolean simplify_using_context_assign(Polyhedron y); in simplify_using_context_assign() method in Polyhedron
|
| H A D | ppl_interface_generator_java_classes_java_code.m4 | 352 public native boolean simplify_using_context_assign(@CLASS@ p);
|
| /dports/devel/ppl/ppl-1.2/src/ |
| H A D | Pointset_Powerset_defs.hh | 746 bool simplify_using_context_assign(const Pointset_Powerset& y);
|
| H A D | Interval_templates.hh | 406 Interval<Boundary, Info>::simplify_using_context_assign(const From& y) { in simplify_using_context_assign() function in Parma_Polyhedra_Library::Interval
|
| H A D | Pointset_Powerset_templates.hh | 716 if (enlarged_i.simplify_using_context_assign(context_i)) { in intersection_preserving_enlarge_element()
729 ::simplify_using_context_assign(const Pointset_Powerset& y) { in simplify_using_context_assign() function in Parma_Polyhedra_Library::Pointset_Powerset
753 if (x_i.simplify_using_context_assign(y_i)) { in simplify_using_context_assign()
|
| H A D | Grid_defs.hh | 1173 bool simplify_using_context_assign(const Grid& y);
|
| H A D | Polyhedron_defs.hh | 1155 bool simplify_using_context_assign(const Polyhedron& y);
|
| H A D | Box_defs.hh | 999 bool simplify_using_context_assign(const Box& y);
|
| H A D | Octagonal_Shape_defs.hh | 1188 bool simplify_using_context_assign(const Octagonal_Shape& y);
|
| H A D | BD_Shape_defs.hh | 1201 bool simplify_using_context_assign(const BD_Shape& y);
|
| H A D | Interval_defs.hh | 687 simplify_using_context_assign(const From& y);
|
| H A D | Grid_public.cc | 1691 PPL::Grid::simplify_using_context_assign(const Grid& y) { in simplify_using_context_assign() function in PPL::Grid
|
| H A D | Box_templates.hh | 2075 Box<ITV>::simplify_using_context_assign(const Box& y) { in simplify_using_context_assign() function in Parma_Polyhedra_Library::Box
2137 if (!x.seq[i].simplify_using_context_assign(y.seq[i])) { in simplify_using_context_assign()
|
| H A D | Polyhedron_public.cc | 2155 PPL::Polyhedron::simplify_using_context_assign(const Polyhedron& y) { in simplify_using_context_assign() function in PPL::Polyhedron
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/tests/ |
| H A D | ppl_interface_generator_java_test_java_code.m4 | 211 PPL_Test.print_if_noisy("Testing simplify_using_context_assign: ");
214 = gd.simplify_using_context_assign(gd);
|
| /dports/devel/ppl/ppl-1.2/interfaces/C/ |
| H A D | ppl_interface_generator_c_cc_code.m4 | 470 return xx.simplify_using_context_assign(yy) ? 1 : 0;
|
| /dports/devel/ppl/ppl-1.2/interfaces/Java/jni/ |
| H A D | ppl_interface_generator_java_classes_cc_code.m4 | 806 return this_ptr->simplify_using_context_assign(*y_ptr);
|
| /dports/devel/ppl/ppl-1.2/interfaces/OCaml/ |
| H A D | ppl_interface_generator_ocaml_cc_code.m4 | 302 CAMLreturn(Val_bool(pph1.simplify_using_context_assign(pph2)));
|