Home
last modified time | relevance | path

Searched refs:GREATER_OR_EQUAL (Results 1 – 25 of 290) sorted by relevance

12345678910>>...12

/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dgeneralizedaffineimage1.cc40 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 Dgeneralizedaffinepreimage1.cc41 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 Dgeneralizedaffinepreimage2.cc119 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 Dgeneralizedaffineimage3.cc71 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 Dgeneralizedaffinepreimage3.cc72 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 Dgeneralizedaffineimage5.cc203 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 Dgeneralizedaffineimage4.cc152 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 Dgeneralizedaffineimage1.cc46 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 Dgeneralizedaffinepreimage4.cc263 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 Dgeneralizedaffineimage1.cc41 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 Dboundedaffineimage1.cc48 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 Dgeneralizedaffineimage2.cc73 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 Dgeneralizedaffinepreimage1.cc41 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 Dgeneralizedaffinepreimage2.cc69 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 Dgeneralizedaffineimage1.cc41 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 Dgeneralizedaffineimage2.cc67 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 DPIP_Problem_test1.java60 = 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 DNNC_Polyhedron_test1.java57 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 Dgeneralizedaffineimage3.cc65 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 Dpkcs1-sec-decrypt.c55 #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 Dpkcs1-sec-decrypt.c55 #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 Dcells_sim_wip.v7 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 DComparisonOperator.cpp40 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 DComparisonOperator.cpp40 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 Dstructured-parser.h105 GREATER_OR_EQUAL = 291, enumerator
146 #define GREATER_OR_EQUAL 291 macro

12345678910>>...12