Method getInt

smt/solver.cpp:326–330

}

int64_t Model::getInt(const expr &var) const {
  int64_t n;
  ENSURE((*this)[var].isInt(n));
  return n;
}

bool Model::hasFnModel(const expr &fn) const {
  auto fn_decl = fn.decl();