Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::SettingMemento Class Reference

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.
 

Detailed Description

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.

Constructor & Destructor Documentation

◆ SettingMemento()

storm::settings::SettingMemento::SettingMemento ( modules::ModuleSettings settings,
std::string const longOptionName,
bool  resetToState 
)

Constructs a new memento for the specified option.

Parameters
settingsThe settings object in which to restore the state of the option.
longOptionNameThe long name of the option.
resetToStateA 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.

◆ ~SettingMemento()

storm::settings::SettingMemento::~SettingMemento ( )
virtual

Destructs the memento object and resets the value of the option to its original state.

Definition at line 15 of file SettingMemento.cpp.


The documentation for this class was generated from the following files: