Searched refs:not_round (Results 1 – 2 of 2) sorted by relevance
| /dports/math/z3/z3-z3-4.8.13/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 3884 …expr_ref last_or_sticky(m), round_or_sticky(m), not_last(m), not_round(m), not_sticky(m), not_lors… in mk_rounding_decision() local
3890 not_round = m_bv_util.mk_bv_not(round); in mk_rounding_decision()
3895 expr * nround_lors[2] = { not_round, not_lors }; in mk_rounding_decision()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 3868 …expr_ref last_or_sticky(m), round_or_sticky(m), not_last(m), not_round(m), not_sticky(m), not_lors…
3874 not_round = m_bv_util.mk_bv_not(round);
3879 expr * nround_lors[2] = { not_round, not_lors };
|