void set_option_to_list( const std::string & name, const typename OPTION_TYPE::value_type & value, OptionList & options ) { if( !options.check(name) ) options.add_option< OPTION_TYPE >(name, value); else options[name].change_value( value ); }