| 1165 | } while (0) |
| 1166 | |
| 1167 | expr expr::isNaN() const { |
| 1168 | fold_fp_neg(isNaN); |
| 1169 | |
| 1170 | expr v; |
| 1171 | if (isFPNeg(v) || isFAbs(v)) |
| 1172 | return v.isNaN(); |
| 1173 | |
| 1174 | return unop_fold(Z3_mk_fpa_is_nan); |
| 1175 | } |
| 1176 | |
| 1177 | expr expr::isInf() const { |
| 1178 | fold_fp_neg(isInf); |