SettingMemento.cpp

Go to the documentation of this file.

#include "storm/settings/SettingMemento.h"
 
#include "storm/settings/modules/ModuleSettings.h"
 
namespace storm {
namespace settings {
SettingMemento::SettingMemento(modules::ModuleSettings& settings, std::string const& longOptionName, bool resetToState)
    : settings(settings), optionName(longOptionName), resetToState(resetToState) {
    // Intentionally left empty.
}
 
SettingMemento::~SettingMemento() {
    if (resetToState) {
        settings.set(optionName);
    } else {
        settings.unset(optionName);
    }
}
}  // namespace settings
}  // namespace storm