Method isInf

smt/expr.cpp:1177–1185

}

expr expr::isInf() const {
  fold_fp_neg(isInf);

  expr v;
  if (isFPNeg(v))
    return v.isInf();

  return unop_fold(Z3_mk_fpa_is_infinite);
}

expr expr::isFPZero() const {
  if (isBV())