Integer

Integer() pism::options::Integer::Integer ( const std::string &  option, const std::string &  description, int  default_value  ) Definition at line 136 of file options.cc. References pism::RuntimeError::add_context(), pism::options::DONT_ALLOW_EMPTY, pism::options::Option< T >::is_set(), pism::parse_integer(), pism::printf(), and pism::options::Option< int >::set().