Definition at line 578 of file ConfigInterface.cc.
References CONFIG_USER, pism::Config::doc(), pism::Config::FORGET_THIS_USE, pism::Config::get_number(), pism::options::Option< T >::is_set(), and pism::Config::set_number().
Referenced by set_parameter_from_options().