| /dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
| H A D | bound_propagator.h | 217 bool has_lower(var x) const { return m_lowers[x] != 0; } in has_lower() function
221 …bool is_fixed(var x) const { return has_lower(x) && has_upper(x) && m.eq(m_lowers[x]->m_k, m_upper… in is_fixed()
222 …mpq const & lower(var x, bool & strict) const { SASSERT(has_lower(x)); bound * b = m_lowers[x]; st… in lower()
224 mpq const & lower(var x) const { SASSERT(has_lower(x)); return m_lowers[x]->m_k; } in lower()
227 SASSERT(has_lower(x)); in approx_lower()
234 …bool is_zero(var x) const { return has_lower(x) && has_upper(x) && m.is_zero(lower(x)) && m.is_zer… in is_zero()
|
| H A D | bound_manager.h | 56 bool has_lower(expr * c, numeral & v, bool & strict) const { in has_lower() function
92 bool has_lower(expr * c) const { in has_lower() function
|
| H A D | add_bounds_tactic.cpp | 32 …if (is_uninterp_const(t) && (m_util.is_int(t) || m_util.is_real(t)) && (!m_bm.has_lower(t) || !m_… in operator ()()
97 if (!m_bm.has_lower(t)) { in operator ()()
|
| H A D | normalize_bounds_tactic.cpp | 60 m_bm.has_lower(var, val, strict) && in is_target()
75 …tout << mk_ismt2_pp(*it, m) << " has_lower: " << m_bm.has_lower(*it, val, strict) << " val: " << v… in has_lowers()
|
| H A D | eq2bv_tactic.cpp | 217 (m_bounds.has_lower(var, v, strict) && !strict && v.is_unsigned()); in operator ()()
249 if (m_bounds.has_lower(c, r, strict) && !r.is_neg()) { in operator ()()
301 if (m_bounds.has_lower(key, bound, strict)) in cleanup_fd()
339 SASSERT(m_bounds.has_lower(e2)); in is_lower()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/ |
| H A D | bound_propagator.h | 217 bool has_lower(var x) const { return m_lowers[x] != 0; } in has_lower() function
221 …bool is_fixed(var x) const { return has_lower(x) && has_upper(x) && m.eq(m_lowers[x]->m_k, m_upper… in is_fixed()
222 …mpq const & lower(var x, bool & strict) const { SASSERT(has_lower(x)); bound * b = m_lowers[x]; st… in lower()
224 mpq const & lower(var x) const { SASSERT(has_lower(x)); return m_lowers[x]->m_k; } in lower()
227 SASSERT(has_lower(x)); in approx_lower()
234 …bool is_zero(var x) const { return has_lower(x) && has_upper(x) && m.is_zero(lower(x)) && m.is_zer… in is_zero()
|
| H A D | bound_manager.h | 56 bool has_lower(expr * c, numeral & v, bool & strict) const { in has_lower() function
92 bool has_lower(expr * c) const { in has_lower() function
|
| H A D | add_bounds_tactic.cpp | 32 …if (is_uninterp_const(t) && (m_util.is_int(t) || m_util.is_real(t)) && (!m_bm.has_lower(t) || !m_… in operator ()()
97 if (!m_bm.has_lower(t)) { in operator ()()
|
| H A D | normalize_bounds_tactic.cpp | 60 m_bm.has_lower(var, val, strict) && in is_target()
75 …tout << mk_ismt2_pp(*it, m) << " has_lower: " << m_bm.has_lower(*it, val, strict) << " val: " << v… in has_lowers()
|
| H A D | eq2bv_tactic.cpp | 217 (m_bounds.has_lower(var, v, strict) && !strict && v.is_unsigned()); in operator ()()
249 if (m_bounds.has_lower(c, r, strict) && !r.is_neg()) { in operator ()()
301 if (m_bounds.has_lower(key, bound, strict)) in cleanup_fd()
339 SASSERT(m_bounds.has_lower(e2)); in is_lower()
|
| /dports/net-mgmt/wmi-client/wmi-1.3.16/Samba/source/lib/util/ |
| H A D | genrand.c | 269 int has_digit=0, has_capital=0, has_lower=0; in check_password_quality() local
276 has_lower++; in check_password_quality()
281 return has_digit && has_lower && has_capital; in check_password_quality()
|
| /dports/databases/percona56-server/percona-server-5.6.51-91.0/plugin/password_validation/ |
| H A D | validate_password.cc | 274 int has_lower= 0; in validate_password_policy_strength() local
287 has_lower++; in validate_password_policy_strength()
303 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/percona56-client/percona-server-5.6.51-91.0/plugin/password_validation/ |
| H A D | validate_password.cc | 272 int has_lower= 0; in validate_password_policy_strength() local
285 has_lower++; in validate_password_policy_strength()
301 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/percona-pam-for-mysql/percona-server-5.6.51-91.0/plugin/password_validation/ |
| H A D | validate_password.cc | 274 int has_lower= 0; in validate_password_policy_strength() local
287 has_lower++; in validate_password_policy_strength()
303 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/mysqlwsrep56-server/mysql-wsrep-wsrep_5.6.51-25.33/plugin/password_validation/ |
| H A D | validate_password.cc | 274 int has_lower= 0; in validate_password_policy_strength() local
287 has_lower++; in validate_password_policy_strength()
303 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/mysql56-client/mysql-5.6.51/plugin/password_validation/ |
| H A D | validate_password.cc | 272 int has_lower= 0; in validate_password_policy_strength() local
285 has_lower++; in validate_password_policy_strength()
301 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/hotspot/share/c1/ |
| H A D | c1_RangeCheckElimination.cpp | 135 bool has_lower = true; in do_Phi() local
168 has_lower = false; in do_Phi()
170 has_lower = false; in do_Phi()
189 if (!v_bound->has_upper() || !v_bound->has_lower()) { in do_Phi()
211 if (!has_lower) { in do_Phi()
244 if (x_bound->has_lower() && x_bound->lower() >= 0) { in do_ArithmeticOp()
272 if (bound->has_upper() && bound->has_lower()) { in do_ArithmeticOp()
811 if (!index_bound->has_lower() || !index_bound->has_upper()) { in process_access_indexed()
1379 if (b->has_lower()) { in and_op()
1419 bool RangeCheckEliminator::Bound::has_lower() { in has_lower() function in RangeCheckEliminator::Bound
[all …]
|
| /dports/databases/percona57-server/percona-server-5.7.36-39/plugin/password_validation/ |
| H A D | validate_password.cc | 380 int has_lower= 0; in validate_password_policy_strength() local
393 has_lower++; in validate_password_policy_strength()
412 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/plugin/password_validation/ |
| H A D | validate_password.cc | 380 int has_lower= 0; in validate_password_policy_strength() local
393 has_lower++; in validate_password_policy_strength()
412 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/mysqlwsrep57-server/mysql-wsrep-wsrep_5.7.35-25.27/plugin/password_validation/ |
| H A D | validate_password.cc | 382 int has_lower= 0; in validate_password_policy_strength() local
395 has_lower++; in validate_password_policy_strength()
414 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/plugin/password_validation/ |
| H A D | validate_password.cc | 356 int has_lower = 0; in validate_password_policy_strength() local
367 has_lower++; in validate_password_policy_strength()
383 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/percona57-pam-for-mysql/percona-server-5.7.36-39/plugin/password_validation/ |
| H A D | validate_password.cc | 380 int has_lower= 0; in validate_password_policy_strength() local
393 has_lower++; in validate_password_policy_strength()
412 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/xtrabackup/percona-xtrabackup-2.4.21/plugin/password_validation/ |
| H A D | validate_password.cc | 380 int has_lower= 0; in validate_password_policy_strength() local
393 has_lower++; in validate_password_policy_strength()
412 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/databases/mysql57-client/mysql-5.7.36/plugin/password_validation/ |
| H A D | validate_password.cc | 380 int has_lower= 0; in validate_password_policy_strength() local
393 has_lower++; in validate_password_policy_strength()
412 has_lower >= validate_password_mixed_case_count && in validate_password_policy_strength()
|
| /dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/hotspot/share/c1/ |
| H A D | c1_RangeCheckElimination.cpp | 132 bool has_lower = true; in do_Phi() local
165 has_lower = false; in do_Phi()
167 has_lower = false; in do_Phi()
186 if (!v_bound->has_upper() || !v_bound->has_lower()) { in do_Phi()
208 if (!has_lower) { in do_Phi()
251 if (bound->has_upper() && bound->has_lower()) { in do_ArithmeticOp()
790 if (!index_bound->has_lower() || !index_bound->has_upper()) { in process_access_indexed()
1037 …if ((bound->has_lower() || bound->has_upper()) && (bound->lower_instr() != instr || bound->upper_i… in dump_condition_stack()
1311 if (b->has_lower()) { in and_op()
1351 bool RangeCheckEliminator::Bound::has_lower() { in has_lower() function in RangeCheckEliminator::Bound
[all …]
|