/dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | smt_farkas_util.cpp | 117 app* farkas_util::fix_sign(bool is_pos, app* c) { in fix_sign() argument 121 if (is_int && is_pos && (a.is_lt(c, x, y) || a.is_gt(c, y, x))) { in fix_sign() 124 if (is_int && !is_pos && (a.is_le(c, x, y) || a.is_ge(c, y, x))) { in fix_sign() 128 if (is_pos) { in fix_sign() 301 bool is_pos = true; in add() local 304 is_pos = !is_pos; in add() 311 m_ineqs.push_back(fix_sign(is_pos, c)); in add()
|
/dports/databases/percona57-server/boost_1_59_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/databases/xtrabackup/boost_1_59_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/bundled/boost-1.70.0/include/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/databases/percona57-client/boost_1_59_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/security/keybase/client-v5.7.1/shared/ios/Pods/boost-for-react-native/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/devel/boost-libs/boost_1_72_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/databases/mysqlwsrep57-server/boost_1_59_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
H A D | gomory.cpp | 58 lp_assert(is_int(j) && m_fj.is_pos()); in int_case_in_gomory_cut() 68 lp_assert(new_a.is_pos()); in int_case_in_gomory_cut() 93 if (a.is_pos()) { in real_case_in_gomory_cut() 107 if (a.is_pos()) { in real_case_in_gomory_cut() 129 lp_assert(m_k.is_pos()); in report_conflict_from_gomory_cut() 144 if (a.is_pos()) { // we have av >= k in adjust_term_and_k_for_some_ints_case_gomory() 157 lp_assert(m_lcm_den.is_pos()); in adjust_term_and_k_for_some_ints_case_gomory() 301 lp_assert(m_f.is_pos() && (get_value(m_inf_col).x - m_f).is_int()); in cut()
|
/dports/math/stanmath/math-4.2.0/lib/boost_1.75.0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/math/py-pystan/pystan-2.19.0.0/pystan/stan/lib/stan_math/lib/boost_1.69.0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/databases/mysql57-client/mysql-5.7.36/boost/boost_1_59_0/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/math/gecode/gecode-0916a1a/gecode/third-party/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/graphics/povray37/povray-3.7.0.10/libraries/boost/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/biology/lamarc/lamarc-2.1.8/boost/numeric/interval/ |
H A D | arith.hpp | 186 if (interval_lib::user::is_pos(xu)) in operator *() 188 if (interval_lib::user::is_pos(yu)) // M * M in operator *() 194 if (interval_lib::user::is_pos(yu)) // M * P in operator *() 200 if (interval_lib::user::is_pos(yu)) // N * M in operator *() 205 if (interval_lib::user::is_pos(yu)) // N * P in operator *() 210 if (interval_lib::user::is_pos(xu)) in operator *() 212 if (interval_lib::user::is_pos(yu)) // P * M in operator *() 217 if (interval_lib::user::is_pos(yu)) // P * P in operator *()
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | ext_numeral.h | 35 bool is_pos(numeral_manager & m, in is_pos() function 38 return ak == EN_PLUS_INFINITY || (ak == EN_NUMERAL && m.is_pos(a)); in is_pos() 176 if (is_pos(m, a, ak) == is_pos(m, b, bk)) in mul() 204 if (is_pos(m, a, ak) == is_pos(m, b, bk)) in div()
|
H A D | scoped_numeral.h | 124 bool is_pos() const { 125 return m().is_pos(*this); 144 friend bool is_pos(_scoped_numeral const & a) { 145 return a.m().is_pos(a);
|
H A D | mpq_inf.h | 86 bool is_pos(mpq_inf const & a) const { in is_pos() function 87 return m.is_pos(a.first) || (m.is_zero(a.first) && m.is_pos(a.second)); in is_pos() 102 if (m.is_pos(a.second)) in get_double() 159 return m.gt(a.first, b) || (m.is_pos(a.second) && m.eq(a.first, b)); in gt() 168 case ZERO: return m.is_pos(a.second); in gt() 250 if (m.is_pos(a.second)) in ceil()
|
/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | ext_numeral.h | 35 bool is_pos(numeral_manager & m, in is_pos() function 38 return ak == EN_PLUS_INFINITY || (ak == EN_NUMERAL && m.is_pos(a)); in is_pos() 176 if (is_pos(m, a, ak) == is_pos(m, b, bk)) in mul() 204 if (is_pos(m, a, ak) == is_pos(m, b, bk)) in div()
|
H A D | scoped_numeral.h | 124 bool is_pos() const { in is_pos() function 125 return m().is_pos(*this); in is_pos() 144 friend bool is_pos(_scoped_numeral const & a) { in is_pos() function 145 return a.m().is_pos(a); in is_pos()
|
H A D | mpq_inf.h | 86 bool is_pos(mpq_inf const & a) const { in is_pos() function 87 return m.is_pos(a.first) || (m.is_zero(a.first) && m.is_pos(a.second)); in is_pos() 102 if (m.is_pos(a.second)) in get_double() 159 return m.gt(a.first, b) || (m.is_pos(a.second) && m.eq(a.first, b)); in gt() 168 case ZERO: return m.is_pos(a.second); in gt() 250 if (m.is_pos(a.second)) in ceil()
|
/dports/chinese/bitchx/bitchx-1.2.1/dll/amp/ |
H A D | misc2.h | 29 static inline void stereo_s(int l,float a[2],int pos,int ms_flag,int is_pos,struct AUDIO_HEADER *he… 30 static inline void stereo_l(int l,float a[2],int ms_flag,int is_pos,struct AUDIO_HEADER *header);
|
/dports/irc/bitchx/bitchx-1.2.1/dll/amp/ |
H A D | misc2.h | 29 static inline void stereo_s(int l,float a[2],int pos,int ms_flag,int is_pos,struct AUDIO_HEADER *he… 30 static inline void stereo_l(int l,float a[2],int ms_flag,int is_pos,struct AUDIO_HEADER *header);
|
/dports/games/retroarch/RetroArch-1.9.7/input/drivers_joypad/ |
H A D | qnx_joypad.c | 68 bool is_pos = false; in qnx_joypad_axis_state() local 78 is_pos = true; in qnx_joypad_axis_state() 95 else if (is_pos && val < 0) in qnx_joypad_axis_state()
|