/dports/devel/ppl/ppl-1.2/tests/Box/ |
H A D | generalizedaffineimage1.cc | 40 box.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01() 70 box.generalized_affine_image(A, EQUAL, A + 2); in test02() 301 ph.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test10() 384 box.generalized_affine_image(2*B + 3*A, in test13() 386 ph.generalized_affine_image(2*B + 3*A, in test13() 442 box.generalized_affine_image(2*B - 5, EQUAL, 3*B); in test15() 443 ph.generalized_affine_image(2*B - 5, EQUAL, 3*B); in test15() 473 ph.generalized_affine_image(Linear_Expression(-4), in test16() 505 ph.generalized_affine_image(Linear_Expression(2), in test17() 536 box.generalized_affine_image(-2*A - B - 1, in test18() [all …]
|
H A D | generalizedaffineimage2.cc | 40 box.generalized_affine_image(B, GREATER_THAN, A+2); in test01() 69 box.generalized_affine_image(A, EQUAL, A + 2); in test02() 90 box.generalized_affine_image(A, LESS_THAN, B + 1); in test03() 226 ph.generalized_affine_image(e1, GREATER_THAN, e2); in test08() 290 box.generalized_affine_image(e1, LESS_THAN, e2); in test10() 291 ph.generalized_affine_image(e1, LESS_THAN, e2); in test10() 345 box.generalized_affine_image(2*B + 3*A, in test12() 347 ph.generalized_affine_image(2*B + 3*A, in test12() 439 box.generalized_affine_image(-2*A - B - 1, in test15() 441 ph.generalized_affine_image(-2*A - B - 1, in test15() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
H A D | generalizedaffineimage2.cc | 41 ph.generalized_affine_image(B, LESS_THAN, B+2); in test01() 73 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test02() 101 ph2.generalized_affine_image(-2*B, LESS_OR_EQUAL, A+2); in test03() 127 ph.generalized_affine_image(B, LESS_OR_EQUAL, A-B+2, -3); in test04() 154 ph.generalized_affine_image(B, LESS_THAN, B+2); in test05() 178 ph.generalized_affine_image(A, EQUAL, A + 2); in test06() 179 ph2.generalized_affine_image(-2*A, EQUAL, -2*(A + 2)); in test06() 206 ph2.generalized_affine_image(-3*(A + B), in test07() 232 ph.generalized_affine_image(B, GREATER_THAN, A + B + 1); in test08() 286 ph.generalized_affine_image(Linear_Expression(2), in test10() [all …]
|
H A D | boundedaffineimage1.cc | 48 kr1.generalized_affine_image(A, GREATER_OR_EQUAL, 7-B); in test01() 49 kr2.generalized_affine_image(A, LESS_OR_EQUAL, B+3); in test01() 80 kr1.generalized_affine_image(A, GREATER_OR_EQUAL, 7-3*A+2*B); in test02() 81 kr2.generalized_affine_image(A, LESS_OR_EQUAL, B+5*A-3); in test02() 136 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, -2*x + y + 1, -1); in test04() 137 kr2.generalized_affine_image(x, LESS_OR_EQUAL, -2*x + y + 1, -1); in test04() 170 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x + y + 1, -1); in test05() 171 kr2.generalized_affine_image(x, LESS_OR_EQUAL, 2*x + y + 1, -1); in test05() 204 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, -2*x + y + 1); in test06() 205 kr2.generalized_affine_image(x, LESS_OR_EQUAL, -2*x + y + 1); in test06()
|
H A D | generalizedaffineimage1.cc | 41 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01() 70 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2, -2); in test02() 99 ph.generalized_affine_image(B, LESS_OR_EQUAL, A-B+2, -3); in test03() 128 ph.generalized_affine_image(A, EQUAL, A + 2); in test04() 157 ph.generalized_affine_image(A + B, GREATER_OR_EQUAL, 2*A - B + 2); in test05() 177 ph1.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test06() 198 ph1.generalized_affine_image(A + B, GREATER_OR_EQUAL, A + B + 1); in test07() 220 ph.generalized_affine_image(A, GREATER_OR_EQUAL, A+2); in test08() 243 ph.generalized_affine_image(A+1, GREATER_OR_EQUAL, A+2); in test09()
|
H A D | exceptions1.cc | 976 ph.generalized_affine_image(B, GREATER_OR_EQUAL, B + 2, d); in test38() 999 ph.generalized_affine_image(A, GREATER_OR_EQUAL, B); in test39() 1023 ph.generalized_affine_image(B, LESS_OR_EQUAL, A + 1); in test40() 1048 ph.generalized_affine_image(A + B, GREATER_OR_EQUAL, B + C); in test41() 1073 ph.generalized_affine_image(B + C, LESS_OR_EQUAL, A + 1); in test42()
|
/dports/devel/ppl/ppl-1.2/tests/Grid/ |
H A D | generalizedaffineimage3.cc | 65 gr.generalized_affine_image(A, GREATER_OR_EQUAL, A - 2*C + 3, 4); in test02() 88 gr.generalized_affine_image(A, LESS_THAN, A + 2, 1, 0); in test03() 112 gr.generalized_affine_image(B, GREATER_OR_EQUAL, A + 2, 0); in test04() 136 gr.generalized_affine_image(B, GREATER_OR_EQUAL, D + 2, 1); in test05() 160 gr.generalized_affine_image(D, GREATER_OR_EQUAL, A + 2, 1); in test06() 232 gr.generalized_affine_image(A - B, GREATER_THAN, 2*A - 2*B, 0); in test09() 258 gr.generalized_affine_image(B + C, GREATER_THAN, D + 2); in test10() 281 gr.generalized_affine_image(A + D, GREATER_THAN, A + 2); in test11() 301 gr.generalized_affine_image(A, GREATER_THAN, A + 2, 1); in test12() 325 gr.generalized_affine_image(A + D, GREATER_THAN, A + 2, 1); in test13() [all …]
|
H A D | generalizedaffineimage1.cc | 91 gr.generalized_affine_image(B, EQUAL, A + 1, 1, 1); in test03() 118 gr.generalized_affine_image(B, EQUAL, A + 1, 2, 1); in test04() 145 gr.generalized_affine_image(B, EQUAL, A + 1, 2, 3); in test05() 172 gr.generalized_affine_image(B, EQUAL, A + 2, -2, 1); in test06() 199 gr.generalized_affine_image(B, EQUAL, A + 2, 1, -7); in test07() 227 gr.generalized_affine_image(A, EQUAL, A - C + 2, 1, 5); in test08() 308 gr.generalized_affine_image(A, EQUAL, A + 2, 1, 1); in test11() 329 gr.generalized_affine_image(A, EQUAL, A + 2, 1, 1); in test12() 353 gr.generalized_affine_image(B, EQUAL, A + 2, 0, 1); in test13() 377 gr.generalized_affine_image(B, EQUAL, D + 2, 1, 1); in test14() [all …]
|
H A D | generalizedaffineimage2.cc | 96 gr.generalized_affine_image(1*B, EQUAL, A + 1, 1); in test03() 122 gr.generalized_affine_image(2*B, EQUAL, A + 1, 1); in test04() 148 gr.generalized_affine_image(2*B, EQUAL, A + 1, 3); in test05() 174 gr.generalized_affine_image(2*B, EQUAL, A + 1, 3); in test06() 200 gr.generalized_affine_image(-2*B, EQUAL, A + 2, 1); in test07() 226 gr.generalized_affine_image(1*B, EQUAL, A + 2, -7); in test08() 332 gr.generalized_affine_image(1*A, EQUAL, A + 2, 1); in test12() 352 gr.generalized_affine_image(1*A, EQUAL, A + 2, 1); in test13() 429 gr.generalized_affine_image(A - B, EQUAL, C, 1); in test16() 456 gr.generalized_affine_image(A - B, EQUAL, A); in test17() [all …]
|
H A D | affineimage2.cc | 269 gr1.generalized_affine_image(B, EQUAL, 18*A + B, 1, 0); in test10() 270 gr1.generalized_affine_image(A, EQUAL, 15*A, 1, 0); in test10()
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | generalizedaffineimage2.cc | 40 bds.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01() 67 bds.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02() 92 bds.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03() 117 bds.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04() 169 bds.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06() 200 bds.generalized_affine_image(C, EQUAL, 5*C - 3, 4); in test07() 308 bds.generalized_affine_image(e1, EQUAL, e2); in test11() 335 bds.generalized_affine_image(e1, EQUAL, e2); in test12() 362 bds.generalized_affine_image(x, LESS_THAN, x + 1); in test13() 385 bds.generalized_affine_image(x, GREATER_THAN, x + 1); in test14() [all …]
|
H A D | generalizedaffineimage1.cc | 41 bds.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01() 69 bds.generalized_affine_image(A, EQUAL, A + 2); in test02() 90 bds.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03() 115 bds.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x - 2, 2); in test04() 143 bds.generalized_affine_image(y, GREATER_OR_EQUAL, 2*x - 2, 2); in test05() 173 bds.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test06() 267 bds.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09() 371 bds.generalized_affine_image(2*B + 3*A, in test13() 397 bds.generalized_affine_image(-2*A + 5, EQUAL, -4*B); in test14() 499 bds.generalized_affine_image(-2*A - B - 1, in test18() [all …]
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | generalizedaffineimage3.cc | 45 oct.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01() 71 oct.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02() 97 oct.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03() 122 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04() 178 oct.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06() 204 oct.generalized_affine_image(C, EQUAL, 5*C - 3, 4); in test07() 337 oct.generalized_affine_image(x, LESS_THAN, x + 1); in test12() 361 oct.generalized_affine_image(x, GREATER_THAN, x + 1); in test13() 387 oct.generalized_affine_image(y, GREATER_OR_EQUAL, z); in test14() 413 oct.generalized_affine_image(z, GREATER_OR_EQUAL, y); in test15() [all …]
|
H A D | generalizedaffineimage1.cc | 46 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01() 69 oct.generalized_affine_image(A, EQUAL, A + 2); in test02() 92 oct.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03() 293 oct.generalized_affine_image(C, LESS_OR_EQUAL, C + 1); in test11() 319 oct.generalized_affine_image(C, EQUAL, C + 1); in test12() 347 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test13() 375 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3); in test14() 401 oct.generalized_affine_image(B, EQUAL, C + 3); in test15() 434 oct.generalized_affine_image(B, LESS_OR_EQUAL, B + 3); in test16() 468 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3, -1); in test17() [all …]
|
H A D | generalizedaffineimage4.cc | 46 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test01() 73 oct.generalized_affine_image(e1, EQUAL, e2); in test02() 99 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test03() 126 oct.generalized_affine_image(e1, EQUAL, e2); in test04() 152 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test05() 181 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test06() 210 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test07() 238 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08() 270 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09() 298 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test10() [all …]
|
H A D | generalizedaffineimage2.cc | 44 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test01() 67 oct.generalized_affine_image(e1, EQUAL, e2); in test02() 94 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test03() 120 oct.generalized_affine_image(e1, EQUAL, e2); in test04() 148 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test05() 181 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test06() 209 oct.generalized_affine_image(e1, EQUAL, e2); in test07() 239 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08() 271 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09() 304 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test10() [all …]
|
H A D | generalizedaffineimage5.cc | 53 oct.generalized_affine_image(B, LESS_OR_EQUAL, -2*A - 3*C + 3, 4); in test01() 83 oct.generalized_affine_image(B, LESS_OR_EQUAL, A + 2*C + 3, 2); in test02() 113 oct.generalized_affine_image(B, LESS_OR_EQUAL, 4*A - 3*C + 3, 4); in test03() 143 oct.generalized_affine_image(B, LESS_OR_EQUAL, A + 2*C + 3, -2); in test04() 173 oct.generalized_affine_image(B, LESS_OR_EQUAL, -4*A - 3*C + 3, 4); in test05() 203 oct.generalized_affine_image(B, GREATER_OR_EQUAL, 4*A - 3*C + 3, 4); in test06() 233 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 2*C + 3, 2); in test07() 260 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 2*C + 3, 2); in test08() 290 oct.generalized_affine_image(B, GREATER_OR_EQUAL, 4*A - 3*C + 3, -4); in test09() 320 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A - 2*C + 3, 2); in test10()
|
/dports/devel/ppl/ppl-1.2/tests/Partially_Reduced_Product/ |
H A D | generalizedaffineimage1.cc | 48 prp.generalized_affine_image(A, EQUAL, le); in test01() 75 prp.generalized_affine_image(B, EQUAL, A + 1, 2); in test02() 154 prp.generalized_affine_image(Linear_Expression(2), LESS_OR_EQUAL, A + B); in test05() 184 prp.generalized_affine_image(A + 2*B, EQUAL, A - B); in test06()
|
/dports/devel/ppl/ppl-1.2/tests/Powerset/ |
H A D | affineimage1.cc | 162 c_ps.generalized_affine_image(x - y, GREATER_OR_EQUAL, Linear_Expression(3)); in test04() 164 ph.generalized_affine_image(x - y, GREATER_OR_EQUAL, Linear_Expression(3)); in test04() 165 ph1.generalized_affine_image(x - y, GREATER_OR_EQUAL, Linear_Expression(3)); in test04()
|
/dports/devel/ppl/ppl-1.2/src/ |
H A D | Partially_Reduced_Product_inlines.hh | 291 ::generalized_affine_image(Variable var, in generalized_affine_image() function in Parma_Polyhedra_Library::Partially_Reduced_Product 295 d1.generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image() 296 d2.generalized_affine_image(var, relsym, expr, denominator); in generalized_affine_image() 315 ::generalized_affine_image(const Linear_Expression& lhs, in generalized_affine_image() function in Parma_Polyhedra_Library::Partially_Reduced_Product 318 d1.generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image() 319 d2.generalized_affine_image(lhs, relsym, rhs); in generalized_affine_image()
|
H A D | Pointset_Powerset_defs.hh | 826 void generalized_affine_image(Variable var, 885 void generalized_affine_image(const Linear_Expression& lhs,
|
H A D | Partially_Reduced_Product_defs.hh | 1173 void generalized_affine_image(Variable var, 1234 void generalized_affine_image(const Linear_Expression& lhs,
|
H A D | Grid_defs.hh | 1336 generalized_affine_image(Variable var, 1408 generalized_affine_image(const Linear_Expression& lhs,
|
H A D | Polyhedron_defs.hh | 1395 void generalized_affine_image(Variable var, 1454 void generalized_affine_image(const Linear_Expression& lhs,
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/ |
H A D | Fake_Class_for_Doxygen.java | 614 public native void generalized_affine_image(Variable var, in generalized_affine_image() method in Polyhedron 670 public native void generalized_affine_image(Linear_Expression lhs, in generalized_affine_image() method in Polyhedron
|