Home
last modified time | relevance | path

Searched refs:LESS_OR_EQUAL (Results 1 – 25 of 274) sorted by relevance

1234567891011

/dports/devel/ppl/ppl-1.2/tests/Box/
H A Dgeneralizedaffinepreimage1.cc97 box.generalized_affine_preimage(B, LESS_OR_EQUAL, -B+1); in test03()
98 ph.generalized_affine_preimage(B, LESS_OR_EQUAL, -B+1); in test03()
124 box.generalized_affine_preimage(B, LESS_OR_EQUAL, B+1); in test04()
125 ph.generalized_affine_preimage(B, LESS_OR_EQUAL, B+1); in test04()
151 box.generalized_affine_preimage(B, LESS_OR_EQUAL, 2*B+1); in test05()
152 ph.generalized_affine_preimage(B, LESS_OR_EQUAL, 2*B+1); in test05()
178 box.generalized_affine_preimage(B, LESS_OR_EQUAL, -2*B+1); in test06()
179 ph.generalized_affine_preimage(B, LESS_OR_EQUAL, -2*B+1); in test06()
205 box.generalized_affine_preimage(B, LESS_OR_EQUAL, 3*A-2*B+1); in test07()
206 ph.generalized_affine_preimage(B, LESS_OR_EQUAL, 3*A-2*B+1); in test07()
[all …]
H A Dgeneralizedaffineimage1.cc92 box.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03()
267 box.generalized_affine_image(-B, LESS_OR_EQUAL, Linear_Expression(1)); in test09()
268 ph.generalized_affine_image(-B, LESS_OR_EQUAL, Linear_Expression(1)); in test09()
300 box.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test10()
301 ph.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test10()
385 LESS_OR_EQUAL, Linear_Expression(1)); in test13()
387 LESS_OR_EQUAL, Linear_Expression(1)); in test13()
472 LESS_OR_EQUAL, A - 3*B + 2*C); in test16()
474 LESS_OR_EQUAL, A - 3*B + 2*C); in test16()
/dports/devel/ppl/ppl-1.2/tests/BD_Shape/
H A Dgeneralizedaffinepreimage1.cc65 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, Linear_Expression(-1)); in test02()
89 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, -B+1); in test03()
115 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, B+1); in test04()
141 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, 2*B+1); in test05()
167 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, -2*B+1); in test06()
193 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, 3*A-2*B+1); in test07()
219 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B+1); in test08()
247 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B+7*C+1, 2); in test09()
285 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B-7*C+1, 3); in test10()
317 bds.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B+7*C+1, -2); in test11()
[all …]
H A Dgeneralizedaffineimage1.cc90 bds.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03()
232 bds.generalized_affine_image(-B, LESS_OR_EQUAL, Linear_Expression(1)); in test08()
267 bds.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09()
295 bds.generalized_affine_image(A, LESS_OR_EQUAL, Linear_Expression(1)); in test10()
320 bds.generalized_affine_image(3*x + 2, LESS_OR_EQUAL, 2*x - 3); in test11()
372 LESS_OR_EQUAL, Linear_Expression(1)); in test13()
446 bds.generalized_affine_image(2*B + C + 1, LESS_OR_EQUAL, A - 3*B + 2*C); in test16()
526 bds.generalized_affine_image(-2*C + 3, LESS_OR_EQUAL, -3*B + 4); in test19()
H A Dgeneralizedaffineimage2.cc40 bds.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01()
92 bds.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03()
169 bds.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06()
253 bds.generalized_affine_image(B, LESS_OR_EQUAL, 4*A -2*C + 3, -3); in test09()
410 bds.generalized_affine_image(x, LESS_OR_EQUAL, x + 1, d); in test15()
486 bds.generalized_affine_image(B + C, LESS_OR_EQUAL, A + 1); in test18()
H A Dgeneralizedaffinepreimage2.cc121 bds.generalized_affine_preimage(A, LESS_OR_EQUAL, B, 5); in test04()
426 bds.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test15()
454 bds.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test16()
515 bds.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test18()
543 bds.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test19()
/dports/devel/ppl/ppl-1.2/tests/Octagonal_Shape/
H A Dgeneralizedaffinepreimage1.cc65 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, Linear_Expression(-1)); in test02()
93 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, -B+1); in test03()
115 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, B+1); in test04()
141 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, 2*B+1); in test05()
167 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, -2*B+1); in test06()
193 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, 3*A-2*B+1); in test07()
219 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B+1); in test08()
247 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B+7*C+1, 2); in test09()
295 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, -3*A-2*B-7*C+1, 3); in test10()
556 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, B, 5); in test19()
[all …]
H A Dgeneralizedaffinepreimage3.cc47 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test01()
98 oct.generalized_affine_preimage(B + C, LESS_OR_EQUAL, A + 1); in test03()
153 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test05()
210 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test07()
243 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test08()
363 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test12()
388 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, B + 2); in test13()
416 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, 2*B + 3, 2); in test14()
444 oct.generalized_affine_preimage(B, LESS_OR_EQUAL, A + 3); in test15()
472 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, 2*B + 3, -2); in test16()
[all …]
H A Dgeneralizedaffinepreimage4.cc46 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, B + 3*C + 2, 5); in test01()
79 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, B - 3*C + 2, 5); in test02()
110 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, B + 2*C + 5, 2); in test03()
142 oct.generalized_affine_preimage(C, LESS_OR_EQUAL, B + 2*A + 5, 2); in test04()
174 oct.generalized_affine_preimage(A, LESS_OR_EQUAL, B - 2*C + 5, 2); in test05()
205 oct.generalized_affine_preimage(C, LESS_OR_EQUAL, B + 2*A + 5, -2); in test06()
234 oct.generalized_affine_preimage(C, LESS_OR_EQUAL, B + 2*A + 5, -2); in test07()
449 oct.generalized_affine_preimage(C, LESS_OR_EQUAL, D + 2*A + 5, -2); in test14()
479 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test15()
H A Dgeneralizedaffineimage1.cc92 oct.generalized_affine_image(A, LESS_OR_EQUAL, B + 1); in test03()
171 oct.generalized_affine_image(y, LESS_OR_EQUAL, Linear_Expression(2)); in test06()
216 oct.generalized_affine_image(A, LESS_OR_EQUAL, Linear_Expression(3)); in test08()
293 oct.generalized_affine_image(C, LESS_OR_EQUAL, C + 1); in test11()
375 oct.generalized_affine_image(B, LESS_OR_EQUAL, C + 3); in test14()
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()
502 oct.generalized_affine_image(B, LESS_OR_EQUAL, A + 3, -1); in test18()
H A Dgeneralizedaffineimage5.cc53 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()
H A Dgeneralizedaffineimage2.cc44 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test01()
94 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test03()
181 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test06()
271 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09()
333 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test11()
H A Dgeneralizedaffineimage3.cc45 oct.generalized_affine_image(y, LESS_OR_EQUAL, -y + 1); in test01()
97 oct.generalized_affine_image(B, LESS_OR_EQUAL, 3*B + 1, 2); in test03()
178 oct.generalized_affine_image(C, LESS_OR_EQUAL, 2*C + 1, 5); in test06()
259 oct.generalized_affine_image(B, LESS_OR_EQUAL, 4*A - 2*C + 3, -3); in test09()
313 oct.generalized_affine_image(y, LESS_OR_EQUAL, y + 1, d); in test11()
465 oct.generalized_affine_image(B + C, LESS_OR_EQUAL, A + 1); in test17()
H A Dgeneralizedaffineimage4.cc46 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test01()
99 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test03()
181 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test06()
270 oct.generalized_affine_image(e1, LESS_OR_EQUAL, e2); in test09()
H A Dgeneralizedaffinepreimage2.cc45 oct.generalized_affine_preimage(y, LESS_OR_EQUAL, y + 1, d); in test01()
306 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test11()
396 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test14()
494 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test17()
586 oct.generalized_affine_preimage(e1, LESS_OR_EQUAL, e2); in test20()
/dports/devel/ppl/ppl-1.2/tests/Polyhedron/
H A Dboundedaffineimage1.cc49 kr2.generalized_affine_image(A, LESS_OR_EQUAL, B+3); in test01()
81 kr2.generalized_affine_image(A, LESS_OR_EQUAL, B+5*A-3); in test02()
137 kr2.generalized_affine_image(x, LESS_OR_EQUAL, -2*x + y + 1, -1); in test04()
171 kr2.generalized_affine_image(x, LESS_OR_EQUAL, 2*x + y + 1, -1); in test05()
205 kr2.generalized_affine_image(x, LESS_OR_EQUAL, -2*x + y + 1); in test06()
H A Dgeneralizedaffineimage2.cc74 ph2.generalized_affine_image(-2*B, LESS_OR_EQUAL, -2*(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()
207 LESS_OR_EQUAL, in test07()
313 ph.generalized_affine_image(Linear_Expression(2), LESS_OR_EQUAL, A + B); in test11()
443 ph.generalized_affine_image(A - C, LESS_OR_EQUAL, B - 1); in test16()
/dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-iotevents-data/source/model/
H A DComparisonOperator.cpp48 return ComparisonOperator::LESS_OR_EQUAL; in GetComparisonOperatorForName()
78 case ComparisonOperator::LESS_OR_EQUAL: in GetNameForComparisonOperator()
/dports/devel/aws-sdk-cpp/aws-sdk-cpp-1.9.129/aws-cpp-sdk-iotevents/source/model/
H A DComparisonOperator.cpp48 return ComparisonOperator::LESS_OR_EQUAL; in GetComparisonOperatorForName()
78 case ComparisonOperator::LESS_OR_EQUAL: in GetNameForComparisonOperator()
/dports/devel/ppl/ppl-1.2/tests/Powerset/
H A Daffinepreimage1.cc96 c_ps.generalized_affine_preimage(2*y, LESS_OR_EQUAL, 4*y); in test02()
98 ph.generalized_affine_preimage(2*y, LESS_OR_EQUAL, 4*y); in test02()
99 ph1.generalized_affine_preimage(2*y, LESS_OR_EQUAL, 4*y); in test02()
/dports/editors/poke/poke-1.0/jitter/example-vms/structured/
H A Dstructured-parser.h103 LESS_OR_EQUAL = 289, enumerator
144 #define LESS_OR_EQUAL 289 macro
/dports/devel/ppl/ppl-1.2/src/
H A DFloating_Point_Expression_templates.hh43 i_constraint(LESS_OR_EQUAL, -lb)); in relative_error()
105 i_constraint(LESS_OR_EQUAL, omega));
/dports/databases/kdb/kdb-3.2.0/src/parser/generated/
H A DKDbToken.cpp67 case ::LESS_OR_EQUAL: return QLatin1String("<="); in toString()
146 const KDbToken KDbToken::LESS_OR_EQUAL(::LESS_OR_EQUAL);
/dports/databases/hbase/hbase-1.2.1/hbase-client/src/main/java/org/apache/hadoop/hbase/filter/
H A DCompareFilter.java59 LESS_OR_EQUAL, enumConstant
110 case LESS_OR_EQUAL: in doCompare()
/dports/devel/ppl/ppl-1.2/interfaces/Java/parma_polyhedra_library/
H A DRelation_Symbol.java32 LESS_OR_EQUAL, enumConstant

1234567891011