Searched refs:sig_abs (Results 1 – 3 of 3) sorted by relevance
/dports/science/mcstas-comps/mcstas-comps-2.5-src/examples/ |
H A D | Test_PowderN_Res.instr | 21 …a0=2.5667 dLambda=0.01 radius=0.001,0.021 TT=71.8 D_PHI=6 SPLITS=117 Distance=30 sig_abs=1e-09 -N21 31 * sig_abs: [barns] Absorption cross-section in the sample 38 …erN_Res(Lambda0=2.5667,dLambda=0.01,radius=0.01,TT=72,D_PHI=6, SPLITS=117,Distance=30,sig_abs=1e-9) 83 yheight = 0.1,d_phi=D_PHI,sigma_abs=sig_abs)
|
/dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 533 expr_ref res_sig_eq(m), sig_abs(m), one_1(m); in add_core() local 536 m_simp.mk_ite(res_sig_eq, n_sum, sum, sig_abs); in add_core() 538 dbg_decouple("fpa2bv_add_sig_abs", sig_abs); in add_core() 540 res_sig = m_bv_util.mk_extract(sbits+3, 0, sig_abs); in add_core() 1675 expr_ref res_sig_eq(m), sig_abs(m); in mk_fma() local 1677 m_simp.mk_ite(res_sig_eq, n_sum, sum, sig_abs); in mk_fma() 1678 dbg_decouple("fpa2bv_fma_add_sig_abs", sig_abs); in mk_fma() 1695 sig_abs = m.mk_ite(is_sig_neg, m_bv_util.mk_bv_neg(sig_abs), sig_abs); in mk_fma() 1712 mk_leading_zeros(sig_abs, ebits+2, sig_lz); in mk_fma() 1718 sig_abs = m_bv_util.mk_bv_shl(sig_abs, m_bv_util.mk_zero_extend(2*sbits+3-ebits, renorm_delta)); in mk_fma() [all …]
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
H A D | fpa2bv_converter.cpp | 532 expr_ref res_sig_eq(m), sig_abs(m), one_1(m); 535 m_simp.mk_ite(res_sig_eq, n_sum, sum, sig_abs); 537 dbg_decouple("fpa2bv_add_sig_abs", sig_abs); 539 res_sig = m_bv_util.mk_extract(sbits+3, 0, sig_abs); 1664 expr_ref res_sig_eq(m), sig_abs(m); 1666 m_simp.mk_ite(res_sig_eq, n_sum, sum, sig_abs); 1667 dbg_decouple("fpa2bv_fma_add_sig_abs", sig_abs); 1684 sig_abs = m.mk_ite(is_sig_neg, m_bv_util.mk_bv_neg(sig_abs), sig_abs); 1701 mk_leading_zeros(sig_abs, ebits+2, sig_lz); 1707 sig_abs = m_bv_util.mk_bv_shl(sig_abs, m_bv_util.mk_zero_extend(2*sbits+3-ebits, renorm_delta)); [all …]
|