Method isFPNegative

smt/expr.cpp:1193–1195

}

expr expr::isFPNegative() const {
  return unop_fold(Z3_mk_fpa_is_negative);
}

expr expr::isFPNegZero() const {
  return isFPZero() && isFPNegative();