Storm
A Modern Probabilistic Model Checker
|
This class is used to reset the state of an option that was temporarily set to a different status. More...
#include <SettingMemento.h>
Public Member Functions | |
SettingMemento (modules::ModuleSettings &settings, std::string const &longOptionName, bool resetToState) | |
Constructs a new memento for the specified option. | |
virtual | ~SettingMemento () |
Destructs the memento object and resets the value of the option to its original state. | |
This class is used to reset the state of an option that was temporarily set to a different status.
Definition at line 18 of file SettingMemento.h.
storm::settings::SettingMemento::SettingMemento | ( | modules::ModuleSettings & | settings, |
std::string const & | longOptionName, | ||
bool | resetToState | ||
) |
Constructs a new memento for the specified option.
settings | The settings object in which to restore the state of the option. |
longOptionName | The long name of the option. |
resetToState | A flag that indicates the status to which the option is to be reset upon deconstruction of this object. |
Definition at line 7 of file SettingMemento.cpp.
|
virtual |
Destructs the memento object and resets the value of the option to its original state.
Definition at line 15 of file SettingMemento.cpp.