Method mkInt

smt/expr.cpp:208–210

}

expr expr::mkInt(int64_t n, Z3_sort sort) {
  return Z3_mk_int64(ctx(), n, sort);
}

expr expr::mkInt(int64_t n, unsigned bits) {
  return bits ? mkInt(n, mkBVSort(bits)) : expr();