Searched refs:arg_is_nan (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 | 3438 expr_ref n_bv(m), arg_is_nan(m), nan(m), nan_bv(m), res(m); in nan_wrap() local
3439 mk_is_nan(n, arg_is_nan); in nan_wrap()
3443 res = expr_ref(m.mk_ite(arg_is_nan, nan_bv, n_bv), m); in nan_wrap()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/fpa/ |
| H A D | fpa2bv_converter.cpp | 3422 expr_ref n_bv(m), arg_is_nan(m), nan(m), nan_bv(m), res(m);
3423 mk_is_nan(n, arg_is_nan);
3427 res = expr_ref(m.mk_ite(arg_is_nan, nan_bv, n_bv), m);
|