Searched refs:xy_sgn (Results 1 – 4 of 4) sorted by relevance
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/util/ |
| H A D | mpf.cpp | 793 bool xy_sgn = sgn(x) ^ sgn(y); in fma() local
794 if (is_zero(z) && (xy_sgn ^ sgn(z))) in fma()
|
| /dports/math/z3/z3-z3-4.8.13/src/util/ |
| H A D | mpf.cpp | 793 bool xy_sgn = sgn(x) ^ sgn(y); in fma() local
794 if (is_zero(z) && (xy_sgn ^ sgn(z))) in fma()
|
| /dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 1495 expr_ref c71(m), xy_sgn(m), xyz_sgn(m); in mk_fma() local
1497 m_simp.mk_xor(x_is_neg, y_is_neg, xy_sgn); in mk_fma()
1499 m_simp.mk_xor(xy_sgn, z_is_neg, xyz_sgn); in mk_fma()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 1484 expr_ref c71(m), xy_sgn(m), xyz_sgn(m);
1486 m_simp.mk_xor(x_is_neg, y_is_neg, xy_sgn);
1488 m_simp.mk_xor(xy_sgn, z_is_neg, xyz_sgn);
|