This class represents the debug settings. More...

#include <DebugSettings.h>

Inheritance diagram for storm::settings::modules::DebugSettings:

Collaboration diagram for storm::settings::modules::DebugSettings:

Public Member Functions
	DebugSettings ()
	Creates a new set of debug settings.

bool	isDebugSet () const
	Retrieves whether the debug option was set.

bool	isTraceSet () const
	Retrieves whether the trace option was set.

bool	isAdditionalChecksSet () const
	Retrieves whether additional checks on the input should be performed.

bool	isLogfileSet () const
	Retrieves whether the logfile option was set.

std::string	getLogfilename () const
	Retrieves the name of the log file if the logfile option was set.

bool	isTestSet () const
	Retrieves whether the test option was set.

Public Member Functions inherited from storm::settings::modules::ModuleSettings
	ModuleSettings (std::string const &moduleName)
	Constructs a new settings object.

virtual	~ModuleSettings ()

virtual bool	check () const
	Checks whether the settings are consistent.

virtual void	finalize ()
	Prepares the modules for further usage, should be called at the end of the initialization, before checks are executed.

std::unique_ptr< storm::settings::SettingMemento >	overrideOption (std::string const &name, bool requiredStatus)
	Sets the option with the given name to the required status.

std::string const &	getModuleName () const
	Retrieves the name of the module to which these settings belong.

std::vector< std::shared_ptr< Option > > const &	getOptions () const
	Retrieves the options of this module.

uint_fast64_t	getPrintLengthOfLongestOption (bool includeAdvanced) const
	Retrieves the (print) length of the longest option.

void	restoreDefaults ()
	Restores the default values for all arguments of all options.

Static Public Attributes
static const std::string	moduleName = "debug"

Additional Inherited Members
Protected Member Functions inherited from storm::settings::modules::ModuleSettings
Option &	getOption (std::string const &longName)
	Retrieves the option with the given long name.

Option const &	getOption (std::string const &longName) const
	Retrieves the option with the given long name.

bool	isSet (std::string const &optionName) const
	Retrieves whether the option with the given name was set.

void	set (std::string const &name)
	Sets the option with the specified name.

void	unset (std::string const &name)
	Unsets the option with the specified name.

void	addOption (std::shared_ptr< Option > const &option)
	Adds and registers the given option.

Detailed Description

This class represents the debug settings.

Definition at line 13 of file DebugSettings.h.

Constructor & Destructor Documentation

◆ DebugSettings()

storm::settings::modules::DebugSettings::DebugSettings ( )

Creates a new set of debug settings.

Definition at line 21 of file DebugSettings.cpp.

Member Function Documentation

◆ getLogfilename()

std::string storm::settings::modules::DebugSettings::getLogfilename ( ) const

Retrieves the name of the log file if the logfile option was set.

Returns: The name of the log file.

Definition at line 50 of file DebugSettings.cpp.

◆ isAdditionalChecksSet()

bool storm::settings::modules::DebugSettings::isAdditionalChecksSet ( ) const

Retrieves whether additional checks on the input should be performed.

Returns: True iff additoinal checks on the input should be performed.

Definition at line 42 of file DebugSettings.cpp.

◆ isDebugSet()

bool storm::settings::modules::DebugSettings::isDebugSet ( ) const

Retrieves whether the debug option was set.

Returns: True iff the debug option was set.

Definition at line 34 of file DebugSettings.cpp.

◆ isLogfileSet()

bool storm::settings::modules::DebugSettings::isLogfileSet ( ) const

Retrieves whether the logfile option was set.

Returns: True iff the logfile option was set.

Definition at line 46 of file DebugSettings.cpp.

◆ isTestSet()

bool storm::settings::modules::DebugSettings::isTestSet ( ) const

Retrieves whether the test option was set.

This is a general option which can be used for quick testing purposes to activate/decactivate a certain setting.

Returns: True iff the test option was set.

Definition at line 54 of file DebugSettings.cpp.

◆ isTraceSet()

bool storm::settings::modules::DebugSettings::isTraceSet ( ) const

Retrieves whether the trace option was set.

Returns: True iff the trace option was set.

Definition at line 38 of file DebugSettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::DebugSettings::moduleName = "debug"

static

Definition at line 64 of file DebugSettings.h.

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

src/storm/settings/modules/DebugSettings.h
src/storm/settings/modules/DebugSettings.cpp

Public Member Functions

Static Public Attributes

Additional Inherited Members