Home
last modified time | relevance | path

Searched refs:OP_GE (Results 1 – 25 of 634) sorted by relevance

12345678910>>...26

/dports/math/z3/z3-z3-4.8.13/src/tactic/arith/
H A Dbound_manager.cpp48 case OP_LE: return OP_GE; in swap_decl()
50 case OP_GE: return OP_LE; in swap_decl()
61 case OP_LT: return OP_GE; in neg()
62 case OP_GE: return OP_LT; in neg()
73 case OP_GE: return; in norm()
82 k = OP_GE; in norm()
90 return k == OP_GT || k == OP_GE; in is_lower()
123 if (k != OP_LE && k != OP_GE && k != OP_LT && k != OP_GT) in operator ()()
H A Dfactor_tactic.cpp84 SASSERT(k == OP_LT || k == OP_GT || k == OP_LE || k == OP_GE); in flip()
87 case OP_LE: return OP_GE; in flip()
89 case OP_GE: return OP_LE; in flip()
100 SASSERT(k == OP_LT || k == OP_GT || k == OP_LE || k == OP_GE); in mk_comp()
142 SASSERT(k == OP_LT || k == OP_GT || k == OP_LE || k == OP_GE); in mk_split_comp()
152 if (k == OP_GE) { in mk_split_comp()
229 case OP_GE: in reduce_app()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/
H A Dbound_manager.cpp48 case OP_LE: return OP_GE; in swap_decl()
50 case OP_GE: return OP_LE; in swap_decl()
61 case OP_LT: return OP_GE; in neg()
62 case OP_GE: return OP_LT; in neg()
73 case OP_GE: return; in norm()
82 k = OP_GE; in norm()
90 return k == OP_GT || k == OP_GE; in is_lower()
123 if (k != OP_LE && k != OP_GE && k != OP_LT && k != OP_GT) in operator ()()
H A Dfactor_tactic.cpp84 SASSERT(k == OP_LT || k == OP_GT || k == OP_LE || k == OP_GE); in flip()
87 case OP_LE: return OP_GE; in flip()
89 case OP_GE: return OP_LE; in flip()
100 SASSERT(k == OP_LT || k == OP_GT || k == OP_LE || k == OP_GE); in mk_comp()
142 SASSERT(k == OP_LT || k == OP_GT || k == OP_LE || k == OP_GE); in mk_split_comp()
152 if (k == OP_GE) { in mk_split_comp()
229 case OP_GE: in reduce_app()
/dports/www/mediawiki137/mediawiki-1.37.1/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
39 '>=' => self::OP_GE,
55 self::OP_GE => '>=',
256 } elseif (self::OP_GT === $this->operator || self::OP_GE === $this->operator) {
257 if (self::OP_GT === $otherOperator || self::OP_GE === $otherOperator) {
271 } elseif ($this->operator === self::OP_GE) {
394 case self::OP_GE:
/dports/www/mediawiki136/mediawiki-1.36.3/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
39 '>=' => self::OP_GE,
55 self::OP_GE => '>=',
256 } elseif (self::OP_GT === $this->operator || self::OP_GE === $this->operator) {
257 if (self::OP_GT === $otherOperator || self::OP_GE === $otherOperator) {
271 } elseif ($this->operator === self::OP_GE) {
394 case self::OP_GE:
/dports/audio/cmus/cmus-2.9.1/
H A Dexpr.h25 enum { OP_LT, OP_LE, OP_EQ, OP_GE, OP_GT, OP_NE }; enumerator
59 IOP_GE = OP_GE,
70 KOP_GE = OP_GE,
/dports/www/drupal9/drupal-9.2.10/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
49 '>=' => self::OP_GE,
65 self::OP_GE => '>=',
285 if (self::OP_GT === $otherOperator || self::OP_GE === $otherOperator) {
299 } elseif ($this->operator === self::OP_GE) {
425 case self::OP_GE:
/dports/www/owncloud/owncloud/lib/composer/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
49 '>=' => self::OP_GE,
65 self::OP_GE => '>=',
285 if (self::OP_GT === $otherOperator || self::OP_GE === $otherOperator) {
299 } elseif ($this->operator === self::OP_GE) {
425 case self::OP_GE:
/dports/security/tor/tor-0.4.6.8/src/test/
H A Dtest_crypto_rng.c75 tt_int_op(x, OP_GE, 5); in test_crypto_rng_range()
90 tt_u64_op(x, OP_GE, ten_billion); in test_crypto_rng_range()
104 tt_i64_op(x, OP_GE, now); in test_crypto_rng_range()
203 tt_int_op(u, OP_GE, 0); in test_crypto_rng_fast()
208 tt_u64_op(u64, OP_GE, 0); in test_crypto_rng_fast()
225 tt_u64_op(u64, OP_GE, 0); in test_crypto_rng_fast()
/dports/security/tor-devel/tor-0.4.7.2-alpha/src/test/
H A Dtest_crypto_rng.c75 tt_int_op(x, OP_GE, 5); in test_crypto_rng_range()
90 tt_u64_op(x, OP_GE, ten_billion); in test_crypto_rng_range()
104 tt_i64_op(x, OP_GE, now); in test_crypto_rng_range()
203 tt_int_op(u, OP_GE, 0); in test_crypto_rng_fast()
208 tt_u64_op(u64, OP_GE, 0); in test_crypto_rng_fast()
225 tt_u64_op(u64, OP_GE, 0); in test_crypto_rng_fast()
/dports/devel/py-poetry-core/poetry-core-1.0.7/poetry/core/version/
H A D__init__.py14 OP_GE = operator.ge variable
23 ">=": OP_GE,
/dports/databases/mariadb105-client/mariadb-10.5.15/storage/connect/
H A Dtabvir.cpp131 if (op == OP_GT || op == OP_GE || op == OP_LT || op == OP_LE) { in TestFilter()
165 case OP_GE: op = OP_LE; break; in TestFilter()
167 case OP_LE: op = OP_GE; break; in TestFilter()
177 case OP_GE: l1--; /* fall through */ in TestFilter()
H A Dblkfil.cpp224 case OP_GE: in BlockEval()
293 if (Opc != OP_LT && Opc != OP_GE) in MakeValueBitmap()
335 case OP_GE: in BlockEval()
403 if (Opc != OP_LT && Opc != OP_GE) in MakeValueBitmap()
471 case OP_GE: in BlockEval()
550 case OP_GE: in BlockEval()
642 Invert = (Opc == OP_NE || Opc == OP_GE || Opc ==OP_GT); in BLKFILIN2()
698 if (found && Opc != OP_LT && Opc != OP_GE) in MakeValueBitmap()
781 case OP_GE: in BlockEval()
/dports/databases/mariadb104-server/mariadb-10.4.24/storage/connect/
H A Dtabvir.cpp131 if (op == OP_GT || op == OP_GE || op == OP_LT || op == OP_LE) { in TestFilter()
165 case OP_GE: op = OP_LE; break; in TestFilter()
167 case OP_LE: op = OP_GE; break; in TestFilter()
177 case OP_GE: l1--; /* fall through */ in TestFilter()
H A Dblkfil.cpp224 case OP_GE: in BlockEval()
293 if (Opc != OP_LT && Opc != OP_GE) in MakeValueBitmap()
335 case OP_GE: in BlockEval()
403 if (Opc != OP_LT && Opc != OP_GE) in MakeValueBitmap()
471 case OP_GE: in BlockEval()
550 case OP_GE: in BlockEval()
642 Invert = (Opc == OP_NE || Opc == OP_GE || Opc ==OP_GT); in BLKFILIN2()
698 if (found && Opc != OP_LT && Opc != OP_GE) in MakeValueBitmap()
781 case OP_GE: in BlockEval()
/dports/databases/mariadb104-client/mariadb-10.4.24/storage/connect/
H A Dtabvir.cpp131 if (op == OP_GT || op == OP_GE || op == OP_LT || op == OP_LE) {
165 case OP_GE: op = OP_LE; break;
167 case OP_LE: op = OP_GE; break;
177 case OP_GE: l1--; /* fall through */
/dports/databases/mariadb103-server/mariadb-10.3.34/storage/connect/
H A Dtabvir.cpp131 if (op == OP_GT || op == OP_GE || op == OP_LT || op == OP_LE) { in TestFilter()
165 case OP_GE: op = OP_LE; break; in TestFilter()
167 case OP_LE: op = OP_GE; break; in TestFilter()
177 case OP_GE: l1--; /* fall through */ in TestFilter()
/dports/databases/mariadb103-client/mariadb-10.3.34/storage/connect/
H A Dtabvir.cpp131 if (op == OP_GT || op == OP_GE || op == OP_LT || op == OP_LE) { in TestFilter()
165 case OP_GE: op = OP_LE; break; in TestFilter()
167 case OP_LE: op = OP_GE; break; in TestFilter()
177 case OP_GE: l1--; /* fall through */ in TestFilter()
/dports/databases/mariadb105-server/mariadb-10.5.15/storage/connect/
H A Dtabvir.cpp131 if (op == OP_GT || op == OP_GE || op == OP_LT || op == OP_LE) { in TestFilter()
165 case OP_GE: op = OP_LE; break; in TestFilter()
167 case OP_LE: op = OP_GE; break; in TestFilter()
177 case OP_GE: l1--; /* fall through */ in TestFilter()
/dports/www/bolt/bolt-2.2.24/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
38 '>=' => self::OP_GE,
53 self::OP_GE => '>=',
/dports/www/matomo/piwik/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
38 '>=' => self::OP_GE,
53 self::OP_GE => '>=',
/dports/www/mediawiki135/mediawiki-1.35.5/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
38 '>=' => self::OP_GE,
53 self::OP_GE => '>=',
/dports/www/drupal8/drupal-8.9.20/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
38 '>=' => self::OP_GE,
53 self::OP_GE => '>=',
/dports/www/tikiwiki/tiki-21.2/vendor_bundled/vendor/composer/semver/src/Constraint/
H A DConstraint.php24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint
38 '>=' => self::OP_GE,
53 self::OP_GE => '>=',

12345678910>>...26