Method isFPSubNormal

smt/expr.cpp:1205–1207

}

expr expr::isFPSubNormal() const {
  return unop_fold(Z3_mk_fpa_is_subnormal);
}

expr expr::rne() {
  return Z3_mk_fpa_rne(ctx());