| /dports/math/z3/z3-z3-4.8.13/src/ast/rewriter/ |
| H A D | pb_rewriter_def.h | 226 SASSERT(args[i].second.is_pos()); in normalize()
235 SASSERT(args[i].second.is_pos()); in normalize()
257 SASSERT(min.is_pos()); in normalize()
|
| /dports/games/retroarch/RetroArch-1.9.7/input/drivers/ |
| H A D | psl1ght_input.c | 426 bool is_pos = false; in ps3_joypad_axis_state() local
436 is_pos = true; in ps3_joypad_axis_state()
458 else if (is_pos && val < 0) in ps3_joypad_axis_state()
|
| /dports/games/retroarch/RetroArch-1.9.7/input/drivers_joypad/ |
| H A D | psp_joypad.c | 142 bool is_pos = false; in psp_joypad_axis_state() local
152 is_pos = true; in psp_joypad_axis_state()
171 else if (is_pos && val < 0) in psp_joypad_axis_state()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/rewriter/ |
| H A D | pb_rewriter_def.h | 226 SASSERT(args[i].second.is_pos()); in normalize()
235 SASSERT(args[i].second.is_pos()); in normalize()
257 SASSERT(min.is_pos()); in normalize()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | mpff.h | 247 static bool is_pos(mpff const & n) { return n.m_sign == 0 && !is_zero(n); } in is_pos() function
257 static bool is_nonpos(mpff const & n) { return !is_pos(n); } in is_nonpos()
272 bool is_one(mpff const & n) const { return is_pos(n) && is_abs_one(n); } in is_one()
|
| H A D | basic_interval.h | 176 …bool is_pos(interval const & a) { return (closed && m().is_pos(a.m_lower)) || (!closed && m().is_n… in is_pos() function
189 (!closed && m().is_neg(a.m_lower) && m().is_pos(a.m_upper)); in contains_zero()
|
| /dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
| H A D | sat_solver_base_types.h | 84 static inline bool is_pos(literal_t l) { in is_pos() function
|
| /dports/math/z3/z3-z3-4.8.13/src/qe/mbp/ |
| H A D | mbp_solve_plugin.h | 35 virtual expr_ref solve(expr* atom, bool is_pos) = 0;
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/qe/mbp/ |
| H A D | mbp_solve_plugin.h | 35 virtual expr_ref solve(expr* atom, bool is_pos) = 0;
|
| /dports/math/z3/z3-z3-4.8.13/src/tactic/arith/ |
| H A D | bv2real_rewriter.cpp | 60 SASSERT(sig.m_d.is_int() && sig.m_d.is_pos()); in is_bv2real()
61 SASSERT(sig.m_r.is_int() && sig.m_r.is_pos()); in is_bv2real()
316 SASSERT(overflow.is_pos()); in mk_is_divisible_by()
405 bool bv2real_rewriter::mk_le(expr* s, expr* t, bool is_pos, bool is_neg, expr_ref& result) { in mk_le() argument
408 SASSERT(is_pos || is_neg); in mk_le()
446 if (is_pos) { in mk_le()
466 if (is_pos) { in mk_le()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/tactic/arith/ |
| H A D | bv2real_rewriter.cpp | 60 SASSERT(sig.m_d.is_int() && sig.m_d.is_pos()); in is_bv2real()
61 SASSERT(sig.m_r.is_int() && sig.m_r.is_pos()); in is_bv2real()
316 SASSERT(overflow.is_pos()); in mk_is_divisible_by()
405 bool bv2real_rewriter::mk_le(expr* s, expr* t, bool is_pos, bool is_neg, expr_ref& result) { in mk_le() argument
408 SASSERT(is_pos || is_neg); in mk_le()
446 if (is_pos) { in mk_le()
466 if (is_pos) { in mk_le()
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | basic_interval.h | 175 …bool is_pos(interval const & a) { return (closed && m().is_pos(a.m_lower)) || (!closed && m().is_n… in is_pos() function
188 (!closed && m().is_neg(a.m_lower) && m().is_pos(a.m_upper)); in contains_zero()
|
| /dports/math/octave-forge-stk/stk/inst/misc/text/ |
| H A D | stk_sprintf_colvect_scientific.m | 48 is_pos = (x > 0); variable
49 is_pinf = is_inf & is_pos;
50 is_minf = is_inf & (~ is_pos);
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/test/ |
| H A D | inf_rational.cpp | 149 …(r1.is_zero() && !r1.is_one() && !r1.is_neg() && r1.is_nonneg() && r1.is_nonpos() && !r1.is_pos()); in tst_inf_rational()
150 …(!r3.is_zero() && r3.is_one() && !r3.is_neg() && r3.is_nonneg() && !r3.is_nonpos() && r3.is_pos()); in tst_inf_rational()
|
| /dports/net-p2p/qtum/qtum-mainnet-fastlane-v0.20.3/test/functional/test_framework/ |
| H A D | blocktools.py | 74 def add_witness_commitment(block, nonce=0, is_pos=False): argument
82 witness_root = block.calc_witness_merkle_root(is_pos)
|
| /dports/math/z3/z3-z3-4.8.13/src/test/ |
| H A D | inf_rational.cpp | 149 …(r1.is_zero() && !r1.is_one() && !r1.is_neg() && r1.is_nonneg() && r1.is_nonpos() && !r1.is_pos()); in tst_inf_rational()
150 …(!r3.is_zero() && r3.is_one() && !r3.is_neg() && r3.is_nonneg() && !r3.is_nonpos() && r3.is_pos()); in tst_inf_rational()
|
| /dports/math/z3/z3-z3-4.8.13/src/math/lp/ |
| H A D | column_namer.h | 46 if (numeric_traits<T>::is_pos(val)) { in print_linear_combination_of_column_indices()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/math/lp/ |
| H A D | column_namer.h | 45 if (numeric_traits<T>::is_pos(val)) { in print_linear_combination_of_column_indices()
|
| /dports/games/libretro-prboom/libretro-prboom-cc80175/deps/libmad/ |
| H A D | layer3.c | 674 unsigned int max, is_pos; in III_scalefactors_lsf() local
679 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
681 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
682 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1319 unsigned int is_pos; in III_stereo() local
1425 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1432 if (is_pos == 0) in III_stereo()
1439 if (is_pos & 1) { in III_stereo()
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1458 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|
| /dports/games/libretro-scummvm/scummvm-7b1e929/backends/platform/libretro/deps/libmad/ |
| H A D | layer3.c | 674 unsigned int max, is_pos; in III_scalefactors_lsf() local
679 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
681 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
682 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1319 unsigned int is_pos; in III_stereo() local
1425 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1432 if (is_pos == 0) in III_stereo()
1439 if (is_pos & 1) { in III_stereo()
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1458 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|
| /dports/multimedia/libxine/xine-lib-1.2.11/contrib/libmad/ |
| H A D | layer3.c | 688 unsigned int max, is_pos; in III_scalefactors_lsf() local
693 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
695 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
696 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1350 unsigned int is_pos; in III_stereo() local
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1463 if (is_pos == 0) in III_stereo()
1470 if (is_pos & 1) { in III_stereo()
1487 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1489 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|
| /dports/audio/libmad/libmad-0.15.1b/ |
| H A D | layer3.c | 688 unsigned int max, is_pos; in III_scalefactors_lsf() local
693 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
695 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
696 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1350 unsigned int is_pos; in III_stereo() local
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1463 if (is_pos == 0) in III_stereo()
1470 if (is_pos & 1) { in III_stereo()
1487 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1489 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|
| /dports/multimedia/avidemux-qt5/avidemux_2.7.6/avidemux_plugins/ADM_audioDecoders/ADM_ad_mad/ADM_libMad/ |
| H A D | layer3.c | 688 unsigned int max, is_pos; in III_scalefactors_lsf() local
693 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
695 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
696 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1350 unsigned int is_pos; in III_stereo() local
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1463 if (is_pos == 0) in III_stereo()
1470 if (is_pos & 1) { in III_stereo()
1487 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1489 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|
| /dports/multimedia/avidemux-cli/avidemux_2.7.6/avidemux_plugins/ADM_audioDecoders/ADM_ad_mad/ADM_libMad/ |
| H A D | layer3.c | 688 unsigned int max, is_pos; in III_scalefactors_lsf() local
693 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
695 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
696 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1350 unsigned int is_pos; in III_stereo() local
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1463 if (is_pos == 0) in III_stereo()
1470 if (is_pos & 1) { in III_stereo()
1487 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1489 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|
| /dports/multimedia/avidemux-plugins/avidemux_2.7.6/avidemux_plugins/ADM_audioDecoders/ADM_ad_mad/ADM_libMad/ |
| H A D | layer3.c | 688 unsigned int max, is_pos; in III_scalefactors_lsf() local
693 is_pos = mad_bit_read(ptr, slen[part]); in III_scalefactors_lsf()
695 channel->scalefac[n] = is_pos; in III_scalefactors_lsf()
696 gr1ch->scalefac[n++] = (is_pos == max); in III_scalefactors_lsf()
1350 unsigned int is_pos; in III_stereo() local
1456 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1463 if (is_pos == 0) in III_stereo()
1470 if (is_pos & 1) { in III_stereo()
1487 is_pos = right_ch->scalefac[sfbi]; in III_stereo()
1489 if (is_pos >= 7) { /* illegal intensity position */ in III_stereo()
[all …]
|