Searched defs:renorm_delta (Results 1 – 3 of 3) sorted by relevance
/dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
H A D | mpf.cpp | 920 unsigned renorm_delta = (unsigned) std::max((mpf_exp_t)0, std::min(sig_lz, max_exp_delta)); in fma() local
|
/dports/math/z3/z3-z3-4.8.13/src/util/ |
H A D | mpf.cpp | 920 unsigned renorm_delta = (unsigned) std::max((mpf_exp_t)0, std::min(sig_lz, max_exp_delta)); in fma() local
|
/dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 1708 expr_ref zero_e2(m), min_exp(m), sig_lz(m), max_exp_delta(m), sig_lz_capped(m), renorm_delta(m); in mk_fma() local 2157 expr_ref zero_e2(m), min_exp(m), sig_lz(m), max_exp_delta(m), sig_lz_capped(m), renorm_delta(m); in mk_round_to_integral() local
|