Method eval

smt/solver.cpp:314–318

}

expr Model::eval(const expr &var, bool complete) const {
  Z3_ast val;
  ENSURE(Z3_model_eval(ctx(), m, var(), complete, &val));
  return val;
}

uint64_t Model::getUInt(const expr &var) const {
  uint64_t n;