Searched defs:a_lz (Results 1 – 2 of 2) sorted by relevance
| /dports/math/xtensor/xtensor-0.24.0/test/ |
| H A D | test_xreducer.cpp | 698 xarray<double> a_lz = sum(a); in TEST() local
789 xarray<double> a_lz = sum(a); in TEST() local
825 xarray<double> a_lz = sum(a); in TEST() local
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 626 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m), b_sgn(m), b_sig(m), b_exp(m), b_lz(m); in mk_add() local
799 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m), b_sgn(m), b_sig(m), b_exp(m), b_lz(m); in mk_mul() local
956 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m), b_sgn(m), b_sig(m), b_exp(m), b_lz(m); in mk_div() local
1104 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m); in mk_rem() local
1515 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m); in mk_fma() local
1840 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m); in mk_sqrt() local
1995 expr_ref a_sgn(m), a_sig(m), a_exp(m), a_lz(m); in mk_round_to_integral() local
|