/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | boundedaffinepreimage1.cc | 42 box.bounded_affine_preimage(x, y, y+1); in test01() 43 ph.bounded_affine_preimage(x, y, y+1); in test01() 176 box.bounded_affine_preimage(A, A - 3, A, -1); in test05() 177 ph.bounded_affine_preimage(A, A - 3, A, -1); in test05() 238 box.bounded_affine_preimage(x, x + y, x + y, -1); in test07() 239 ph.bounded_affine_preimage(x, x + y, x + y, -1); in test07() 297 ph.bounded_affine_preimage(x, x + 5, x + 4, -1); in test09() 356 box.bounded_affine_preimage(y, 2*x, 2*x, 2); in test11() 357 ph.bounded_affine_preimage(y, 2*x, 2*x, 2); in test11() 415 box.bounded_affine_preimage(y, x, z); in test13() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | boundedaffinepreimage1.cc | 129 oct.bounded_affine_preimage(A, Linear_Expression(7), in test04() 162 oct.bounded_affine_preimage(A, Linear_Expression(3), A+2); in test05() 192 oct.bounded_affine_preimage(A, Linear_Expression(3), -A+2); in test06() 221 oct.bounded_affine_preimage(A, Linear_Expression(3), B+5); in test07() 250 oct.bounded_affine_preimage(A, Linear_Expression(3), B-5, -1); in test08() 348 oct.bounded_affine_preimage(A, 4*A + 3*B - 5, 4*A + 3*B - 5); in test11() 376 oct.bounded_affine_preimage(A, A, A); in test12() 408 oct.bounded_affine_preimage(A, 4*A + 3*B - 5, 2*A - 5*B - 1); in test13() 467 oct.bounded_affine_preimage(y, x, z); in test15() 492 oct.bounded_affine_preimage(y, z, x); in test16() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | boundedaffinepreimage1.cc | 43 bds.bounded_affine_preimage(A, Linear_Expression(7), Linear_Expression(3)); in test01() 74 bds.bounded_affine_preimage(A, Linear_Expression(3), Linear_Expression(7)); in test02() 101 bds.bounded_affine_preimage(A, Linear_Expression(3), Linear_Expression(7), in test03() 129 bds.bounded_affine_preimage(A, Linear_Expression(7), in test04() 162 bds.bounded_affine_preimage(A, Linear_Expression(3), A+2); in test05() 192 bds.bounded_affine_preimage(A, Linear_Expression(3), -A+2); in test06() 221 bds.bounded_affine_preimage(A, Linear_Expression(3), B+5); in test07() 250 bds.bounded_affine_preimage(A, Linear_Expression(3), B-5, -1); in test08() 281 bds.bounded_affine_preimage(A, Linear_Expression(2), 4*A + 3*B - 5); in test09() 336 bds.bounded_affine_preimage(A, A, A); in test11() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | boundedaffinepreimage1.cc | 42 gr.bounded_affine_preimage(A, 7-B, B+3); in test01() 69 gr.bounded_affine_preimage(A, 7-B, B+3); in test02() 93 gr.bounded_affine_preimage(B, A - 7, B + 2, d); in test03() 117 gr.bounded_affine_preimage(A, B, A + 7); in test04() 141 gr.bounded_affine_preimage(A, A + 7, B); in test05() 165 gr.bounded_affine_preimage(B, A - 7, 2*A - 2); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | boundedaffinepreimage1.cc | 52 ph.bounded_affine_preimage(B, 7-A, A+3); in test01() 86 ph.bounded_affine_preimage(B, 7-3*A+2*B, B+5*A-3); in test02() 108 ph.bounded_affine_preimage(A, B+5, A-3); in test03()
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | affinepreimage1.cc | 143 c_ps.bounded_affine_preimage(y, x, 2*y, 5); in test03() 145 ph.bounded_affine_preimage(y, x, 2*y, 5); in test03() 146 ph1.bounded_affine_preimage(y, x, 2*y, 5); in test03()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | boundedaffineimage1.cc | 212 prp.bounded_affine_preimage(A, 7-B, B+3); in test09() 245 prp.bounded_affine_preimage(A, 7-B, B+3); in test10()
|
H A D | bounds1.cc | 448 prp.bounded_affine_preimage(A, 7-B, B+3); in test16() 481 prp.bounded_affine_preimage(A, 7-B, B+3); in test17()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Partially_Reduced_Product_inlines.hh | 350 ::bounded_affine_preimage(Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Partially_Reduced_Product 354 d1.bounded_affine_preimage(var, lb_expr, ub_expr, denominator); in bounded_affine_preimage() 355 d2.bounded_affine_preimage(var, lb_expr, ub_expr, denominator); in bounded_affine_preimage()
|
H A D | Pointset_Powerset_defs.hh | 971 void bounded_affine_preimage(Variable var,
|
H A D | Partially_Reduced_Product_defs.hh | 1321 void bounded_affine_preimage(Variable var,
|
H A D | Grid_defs.hh | 1503 void bounded_affine_preimage(Variable var,
|
H A D | Polyhedron_defs.hh | 1540 void bounded_affine_preimage(Variable var,
|
H A D | Box_defs.hh | 1237 void bounded_affine_preimage(Variable var,
|
H A D | Octagonal_Shape_defs.hh | 1425 void bounded_affine_preimage(Variable var,
|
H A D | BD_Shape_defs.hh | 1436 void bounded_affine_preimage(Variable var,
|
H A D | Pointset_Powerset_templates.hh | 495 ::bounded_affine_preimage(Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Pointset_Powerset 502 si->pointset().bounded_affine_preimage(var, lb_expr, ub_expr, in bounded_affine_preimage()
|
H A D | Grid_public.cc | 2596 bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in PPL::Grid
|
H A D | Polyhedron_public.cc | 3004 bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in PPL::Polyhedron
|
H A D | Box_templates.hh | 3374 ::bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Box
|
H A D | BD_Shape_templates.hh | 5487 ::bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::BD_Shape
|
H A D | ppl.hh.dist | 38140 void bounded_affine_preimage(Variable var, 48767 void bounded_affine_preimage(Variable var, 58018 void bounded_affine_preimage(Variable var, 64087 void bounded_affine_preimage(Variable var, 68608 void bounded_affine_preimage(Variable var, 86034 ::bounded_affine_preimage(const Variable var, 90993 ::bounded_affine_preimage(const Variable var, 98298 void bounded_affine_preimage(Variable var, 98987 ::bounded_affine_preimage(Variable var, 103078 void bounded_affine_preimage(Variable var, [all …]
|
H A D | Octagonal_Shape_templates.hh | 7281 Octagonal_Shape<T>::bounded_affine_preimage(const Variable var, in bounded_affine_preimage() function in Parma_Polyhedra_Library::Octagonal_Shape
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 583 public native void bounded_affine_preimage(Variable var, in bounded_affine_preimage() method in Polyhedron
|
/dports/devel/ppl/ppl-1.2/interfaces/Prolog/tests/ |
H A D | pl_check.pl | 201 bounded_affine_preimage, 1121 bounded_affine_preimage :- label 1122 bounded_affine_preimage(c), bounded_affine_preimage(nnc). 1124 bounded_affine_preimage(T) :-
|