SettingMemento.h

Go to the documentation of this file.

#ifndef STORM_SETTINGS_SETTINGMEMENTO_H_
#define STORM_SETTINGS_SETTINGMEMENTO_H_
 
#include <memory>
#include <string>
 
namespace storm {
namespace settings {
 
// Forward-declare the module settings.
namespace modules {
class ModuleSettings;
}
 
class SettingMemento {
   public:
    SettingMemento(modules::ModuleSettings& settings, std::string const& longOptionName, bool resetToState);
 
    virtual ~SettingMemento();
 
   private:
    // The settings object in which the setting is to be restored.
    modules::ModuleSettings& settings;
 
    // The long name of the option that was temporarily set.
    std::string const optionName;
 
    // The state of the option before it was set.
    bool resetToState;
};
 
}  // namespace settings
}  // namespace storm
 
#endif  // STORM_SETTINGS_SETTINGMEMENTO_H_