Method mkNaN

smt/expr.cpp:254–257

}

expr expr::mkNaN(const expr &type) {
  C2(type);
  return Z3_mk_fpa_nan(ctx(), type.sort());
}

expr expr::mkNumber(const char *n, const expr &type) {
  C2(type);