/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() 118 box.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x - 2, 2); in test04() 234 box.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08() 235 ph.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08() 327 box.generalized_affine_image(3*x + 2, GREATER_OR_EQUAL, 2*x - 3); in test11() 328 ph.generalized_affine_image(3*x + 2, GREATER_OR_EQUAL, 2*x - 3); in test11() 504 GREATER_OR_EQUAL, A - 3*B + 2*C); in test17() 506 GREATER_OR_EQUAL, A - 3*B + 2*C); in test17() 537 GREATER_OR_EQUAL, 3*A + B + 4*C - 2); in test18() 539 GREATER_OR_EQUAL, 3*A + B + 4*C - 2); in test18() [all …]
|
H A D | generalizedaffinepreimage1.cc | 41 box.generalized_affine_preimage(B, GREATER_OR_EQUAL, in test01() 43 ph.generalized_affine_preimage(B, GREATER_OR_EQUAL, in test01() 382 box.generalized_affine_preimage(B, GREATER_OR_EQUAL, -3*A-2*B+C+1, -2); in test13() 383 ph.generalized_affine_preimage(B, GREATER_OR_EQUAL, -3*A-2*B+C+1, -2); in test13() 412 box.generalized_affine_preimage(B, GREATER_OR_EQUAL, 3*A-2*B-C+1, -3); in test14() 413 ph.generalized_affine_preimage(B, GREATER_OR_EQUAL, 3*A-2*B-C+1, -3); in test14() 442 box.generalized_affine_preimage(B, GREATER_OR_EQUAL, 3*A-2*B-7*C+1, -3); in test15() 443 ph.generalized_affine_preimage(B, GREATER_OR_EQUAL, 3*A-2*B-7*C+1, -3); in test15()
|
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/ |
H A D | generalizedaffinepreimage2.cc | 119 oct.generalized_affine_preimage(y, GREATER_OR_EQUAL, z); in test04() 145 oct.generalized_affine_preimage(A, GREATER_OR_EQUAL, B + C); in test05() 170 oct.generalized_affine_preimage(C, GREATER_OR_EQUAL, B - A); in test06() 196 oct.generalized_affine_preimage(A, GREATER_OR_EQUAL, B + 3, 2); in test07() 222 oct.generalized_affine_preimage(A, GREATER_OR_EQUAL, -B + 3, 2); in test08() 275 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test10() 365 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test13() 393 known_result.generalized_affine_preimage(A, GREATER_OR_EQUAL, in test14() 461 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test16() 522 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test18() [all …]
|
H A D | generalizedaffineimage3.cc | 71 oct.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02() 122 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04() 149 oct.generalized_affine_image(A, GREATER_OR_EQUAL, 2*A + 3, 2); in test05() 232 oct.generalized_affine_image(B, GREATER_OR_EQUAL, -B - 2, 3); in test08() 387 oct.generalized_affine_image(y, GREATER_OR_EQUAL, z); in test14() 413 oct.generalized_affine_image(z, GREATER_OR_EQUAL, y); in test15() 439 oct.generalized_affine_image(A + B, GREATER_OR_EQUAL, B + C); in test16() 525 oct.generalized_affine_image(B, GREATER_OR_EQUAL, C + 3, -1); in test19() 559 oct.generalized_affine_image(B, GREATER_OR_EQUAL, C + 3); in test20()
|
H A D | generalizedaffinepreimage3.cc | 72 oct.generalized_affine_preimage(A + B, GREATER_OR_EQUAL, B + C); in test02() 181 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test06() 274 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test09() 307 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test10() 334 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test11() 528 oct.generalized_affine_preimage(B, GREATER_OR_EQUAL, A + 3); in test18() 556 oct.generalized_affine_preimage(A, GREATER_OR_EQUAL, 2*B + 3, -2); in test19() 584 oct.generalized_affine_preimage(B, GREATER_OR_EQUAL, -A + 3); in test20()
|
H A D | generalizedaffineimage5.cc | 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()
|
H A D | generalizedaffineimage4.cc | 152 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test05() 210 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test07() 238 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test08() 298 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test10() 327 oct.generalized_affine_image(e1, GREATER_OR_EQUAL, e2); in test11()
|
H A D | generalizedaffineimage1.cc | 46 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01() 120 oct.generalized_affine_image(x, GREATER_OR_EQUAL, 2*x - 2, 2); in test04() 147 oct.generalized_affine_image(y, GREATER_OR_EQUAL, 2*x - 2, 2); in test05() 264 oct.generalized_affine_image(A, GREATER_OR_EQUAL, Linear_Expression(2)); in test10() 347 oct.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test13() 536 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 3); in test19() 570 oct.generalized_affine_image(B, GREATER_OR_EQUAL, A + 3, -1); in test20()
|
H A D | generalizedaffinepreimage4.cc | 263 oct.generalized_affine_preimage(C, GREATER_OR_EQUAL, B + 2*A + 5, -2); in test08() 295 oct.generalized_affine_preimage(A, GREATER_OR_EQUAL, B + 2*C + 5, 2); in test09() 327 oct.generalized_affine_preimage(C, GREATER_OR_EQUAL, B + 2*A + 5, 2); in test10() 359 oct.generalized_affine_preimage(A, GREATER_OR_EQUAL, B - 2*C + 5, 2); in test11() 390 oct.generalized_affine_preimage(C, GREATER_OR_EQUAL, B + 2*A + 5, -2); in test12() 419 oct.generalized_affine_preimage(C, GREATER_OR_EQUAL, D + 2*A + 5, -2); in test13() 507 oct.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test16()
|
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/ |
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() 157 ph.generalized_affine_image(A + B, GREATER_OR_EQUAL, 2*A - B + 2); in test05() 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 | boundedaffineimage1.cc | 48 kr1.generalized_affine_image(A, GREATER_OR_EQUAL, 7-B); in test01() 80 kr1.generalized_affine_image(A, GREATER_OR_EQUAL, 7-3*A+2*B); in test02() 136 kr1.generalized_affine_image(x, GREATER_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() 204 kr1.generalized_affine_image(x, GREATER_OR_EQUAL, -2*x + y + 1); in test06()
|
H A D | generalizedaffineimage2.cc | 73 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test02() 100 ph.generalized_affine_image(B, GREATER_OR_EQUAL, A+2, -2); in test03() 128 ph2.generalized_affine_image(-3*B, GREATER_OR_EQUAL, A-B+2); in test04() 205 ph.generalized_affine_image(A + B, GREATER_OR_EQUAL, 2*A - B + 2); in test07() 287 GREATER_OR_EQUAL, in test10() 416 ph.generalized_affine_image(A - C, GREATER_OR_EQUAL, B + 3); in test15()
|
H A D | generalizedaffinepreimage1.cc | 41 ph.generalized_affine_preimage(B, GREATER_OR_EQUAL, A+2); in test01() 69 ph.generalized_affine_preimage(B, GREATER_OR_EQUAL, A+2, -2); in test02()
|
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/ |
H A D | generalizedaffinepreimage2.cc | 69 bds.generalized_affine_preimage(B, GREATER_OR_EQUAL, Linear_Expression(-1)); in test02() 146 bds.generalized_affine_preimage(A, GREATER_OR_EQUAL, B + 3); in test05() 173 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test06() 201 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test07() 229 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test08() 257 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test09() 286 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test10() 314 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test11() 344 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test12() 371 bds.generalized_affine_preimage(e1, GREATER_OR_EQUAL, e2); in test13()
|
H A D | generalizedaffineimage1.cc | 41 bds.generalized_affine_image(B, GREATER_OR_EQUAL, A+2); in test01() 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() 201 bds.generalized_affine_image(A, GREATER_OR_EQUAL, Linear_Expression(1)); in test07() 421 bds.generalized_affine_image(A + 2*B - 5, GREATER_OR_EQUAL, 3*B); in test15() 473 bds.generalized_affine_image(2*B + C + 1, GREATER_OR_EQUAL, A - 3*B + 2*C); in test17() 500 GREATER_OR_EQUAL, 3*A + B + 4*C - 2); in test18() 554 GREATER_OR_EQUAL, in test20()
|
H A D | generalizedaffineimage2.cc | 67 bds.generalized_affine_image(x, GREATER_OR_EQUAL, -x - 3); in test02() 117 bds.generalized_affine_image(B, GREATER_OR_EQUAL, B - 2); in test04() 142 bds.generalized_affine_image(A, GREATER_OR_EQUAL, 2*A + 3, 2); in test05() 225 bds.generalized_affine_image(B, GREATER_OR_EQUAL, -B - 2, 3); in test08() 435 bds.generalized_affine_image(y, GREATER_OR_EQUAL, z); in test16() 461 bds.generalized_affine_image(A + B, GREATER_OR_EQUAL, B + C); in test17()
|
/dports/devel/ppl/ppl-1.2/interfaces/Java/tests/ |
H A D | PIP_Problem_test1.java | 60 = new Constraint(le_a, Relation_Symbol.GREATER_OR_EQUAL, le_1); in test01() 64 = new Constraint(le_b, Relation_Symbol.GREATER_OR_EQUAL, le_3); in test01() 122 = new Constraint(le_a, Relation_Symbol.GREATER_OR_EQUAL, le_1); in test02() 226 = new Constraint(le_a, Relation_Symbol.GREATER_OR_EQUAL, le_1); in test03() 338 = new Constraint(le_2i_plus_3j, Relation_Symbol.GREATER_OR_EQUAL, in test04() 341 = new Constraint(le_4i_diff_j, Relation_Symbol.GREATER_OR_EQUAL, in test04() 344 = new Constraint(le_m_diff_j, Relation_Symbol.GREATER_OR_EQUAL, in test04() 347 = new Constraint(le_n_diff_i, Relation_Symbol.GREATER_OR_EQUAL, in test04() 395 if (relsym != Relation_Symbol.GREATER_OR_EQUAL in test04() 420 if (relsym2 != Relation_Symbol.GREATER_OR_EQUAL in test04() [all …]
|
H A D | NNC_Polyhedron_test1.java | 57 Relation_Symbol.GREATER_OR_EQUAL, in test01() 101 = new Constraint(le_X1, Relation_Symbol.GREATER_OR_EQUAL, le_1); in test03() 103 = new Constraint(le_X1_difference_XP1, Relation_Symbol.GREATER_OR_EQUAL, le_1); in test03()
|
/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() 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() 183 gr.generalized_affine_image(A, GREATER_OR_EQUAL, A + 2, 1, 1); in test07()
|
/dports/security/nettle/nettle-3.7.3/ |
H A D | pkcs1-sec-decrypt.c | 55 #define GREATER_OR_EQUAL(a, b) \ macro 115 ok &= GREATER_OR_EQUAL(offset, 11); in _pkcs1_sec_decrypt_variable() 129 ok &= GREATER_OR_EQUAL(buflen, msglen); in _pkcs1_sec_decrypt_variable()
|
/dports/security/sequoia/sequoia-383133f6be990237044900a4df676488bf8dd71e/cargo-crates/nettle-src-3.5.1-2/nettle/ |
H A D | pkcs1-sec-decrypt.c | 55 #define GREATER_OR_EQUAL(a, b) \ macro 113 ok &= GREATER_OR_EQUAL(offset, 11); in _pkcs1_sec_decrypt_variable() 127 ok &= GREATER_OR_EQUAL(buflen, msglen); in _pkcs1_sec_decrypt_variable()
|
/dports/cad/yosys/yosys-yosys-0.12/techlibs/greenpak4/ |
H A D | cells_sim_wip.v | 7 parameter GREATER_OR_EQUAL = 1'b0; constant 16 if(GREATER_OR_EQUAL)
|
/dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-iotevents-data/source/model/ |
H A D | ComparisonOperator.cpp | 40 return ComparisonOperator::GREATER_OR_EQUAL; in GetComparisonOperatorForName() 74 case ComparisonOperator::GREATER_OR_EQUAL: in GetNameForComparisonOperator()
|
/dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-iotevents/source/model/ |
H A D | ComparisonOperator.cpp | 40 return ComparisonOperator::GREATER_OR_EQUAL; in GetComparisonOperatorForName() 74 case ComparisonOperator::GREATER_OR_EQUAL: in GetNameForComparisonOperator()
|
/dports/editors/poke/poke-1.0/jitter/example-vms/structured/ |
H A D | structured-parser.h | 105 GREATER_OR_EQUAL = 291, enumerator 146 #define GREATER_OR_EQUAL 291 macro
|