Method mkUInt

smt/expr.cpp:195–197

}

expr expr::mkUInt(uint64_t n, Z3_sort sort) {
  return Z3_mk_unsigned_int64(ctx(), n, sort);
}

expr expr::mkUInt(uint64_t n, unsigned bits) {
  return bits ? mkUInt(n, mkBVSort(bits)) : expr();