/dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
H A D | bound_manager.cpp | 48 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 D | factor_tactic.cpp | 84 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 D | bound_manager.cpp | 48 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 D | factor_tactic.cpp | 84 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 D | Constraint.php | 24 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 D | Constraint.php | 24 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 D | expr.h | 25 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 D | Constraint.php | 24 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 D | Constraint.php | 24 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 D | test_crypto_rng.c | 75 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 D | test_crypto_rng.c | 75 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__.py | 14 OP_GE = operator.ge variable 23 ">=": OP_GE,
|
/dports/databases/mariadb105-client/mariadb-10.5.15/storage/connect/ |
H A D | tabvir.cpp | 131 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 D | blkfil.cpp | 224 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 D | tabvir.cpp | 131 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 D | blkfil.cpp | 224 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 D | tabvir.cpp | 131 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 D | tabvir.cpp | 131 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 D | tabvir.cpp | 131 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 D | tabvir.cpp | 131 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 D | Constraint.php | 24 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 D | Constraint.php | 24 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 D | Constraint.php | 24 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 D | Constraint.php | 24 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 D | Constraint.php | 24 const OP_GE = 4; define in Composer\\Semver\\Constraint\\Constraint 38 '>=' => self::OP_GE, 53 self::OP_GE => '>=',
|