Inheritance diagram for storm::settings::modules::SamplingSettings:

Collaboration diagram for storm::settings::modules::SamplingSettings:

Public Member Functions
	SamplingSettings ()

std::string	getSamples () const
	Retrieves the samples as a comma-separated list of samples for each (relevant) variable, where the samples are colon-separated values.

bool	isSamplesAreGraphPreservingSet () const
	Retrieves whether the samples are graph preserving.

bool	isSampleExactSet () const
	Retrieves whether samples are to be computed exactly.

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.

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

Definition at line 6 of file SamplingSettings.h.

Constructor & Destructor Documentation

storm::settings::modules::SamplingSettings::SamplingSettings ( )

Definition at line 15 of file SamplingSettings.cpp.

std::string storm::settings::modules::SamplingSettings::getSamples ( ) const

Retrieves the samples as a comma-separated list of samples for each (relevant) variable, where the samples are colon-separated values.

For example, 'N=1:2:3,K=2:4' means that N takes the values 1 to 3 and K either 2 or 4.

Definition at line 30 of file SamplingSettings.cpp.

bool storm::settings::modules::SamplingSettings::isSampleExactSet ( ) const

Retrieves whether samples are to be computed exactly.

Definition at line 38 of file SamplingSettings.cpp.

bool storm::settings::modules::SamplingSettings::isSamplesAreGraphPreservingSet ( ) const

Retrieves whether the samples are graph preserving.

Definition at line 34 of file SamplingSettings.cpp.

const std::string storm::settings::modules::SamplingSettings::moduleName = "sampling"

static

Definition at line 26 of file SamplingSettings.h.

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