|
Sets the value of an option in the set.
template< typename Option> void set_option( const Option & o);
Parameters
The option to be set.
Remarks
If the type Option is
already present in the set, first removes that element. Adds the option
to the set.