filename Impl parameters_set_by_user parameters_used unit_system

parameters_used std::set<std::string> pism::Config::Impl::parameters_used Set of parameters used in a run. Used to warn about parameters that were set but were not used. Definition at line 55 of file ConfigInterface.cc. Referenced by pism::Config::get_flag(), pism::Config::get_number(), pism::Config::get_numbers(), pism::Config::get_string(), and pism::Config::parameters_used().