Home
last modified time | relevance | path

Searched refs:is_pos (Results 51 – 75 of 656) sorted by relevance

12345678910>>...27

/dports/databases/percona57-pam-for-mysql/boost_1_59_0/boost/numeric/interval/
H A Darith.hpp186 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 Dsmt_farkas_util.cpp117 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Dgomory.cpp58 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Darith.hpp186 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 Dext_numeral.h35 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 Dscoped_numeral.h124 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 Dmpq_inf.h86 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 Dext_numeral.h35 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 Dscoped_numeral.h124 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 Dmpq_inf.h86 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 Dmisc2.h29 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 Dmisc2.h29 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 Dqnx_joypad.c68 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()

12345678910>>...27