This class represents the settings for monotonicity checking. More...

#include <MonotonicitySettings.h>

Inheritance diagram for storm::settings::modules::MonotonicitySettings:

Collaboration diagram for storm::settings::modules::MonotonicitySettings:

Public Member Functions
	MonotonicitySettings ()
	Creates a new set of monotonicity checking settings.

bool	isUsePLABoundsSet () const

bool	isSccEliminationSet () const
	Retrieves whether SCCs in the monotonicity analysis should be eliminated.

bool	isDotOutputSet () const
	Retrieves whether a dot output of the reachability orders should be given.

bool	isMonotoneParametersSet () const

std::string	getDotOutputFilename () const
	Retrieves the name of the file for a possible dot output.

std::string	getMonotoneParameterFilename () const

uint_fast64_t	getNumberOfSamples () const
	Retrieves the number of samples used for sampling in the monotonicity analysis.

bool	isExportMonotonicitySet () const

bool	isMonSolutionSet () const

std::string	getExportMonotonicityFilename () const

uint64_t	getMonotonicityThreshold () const
	Retrieves the depth threshold from which on monotonicity should be used in parameter lifting.

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 = "mon"

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 settings for monotonicity checking.

Definition at line 13 of file MonotonicitySettings.h.

Constructor & Destructor Documentation

◆ MonotonicitySettings()

storm::settings::modules::MonotonicitySettings::MonotonicitySettings ( )

Creates a new set of monotonicity checking settings.

Definition at line 27 of file MonotonicitySettings.cpp.

Member Function Documentation

◆ getDotOutputFilename()

std::string storm::settings::modules::MonotonicitySettings::getDotOutputFilename ( ) const

Retrieves the name of the file for a possible dot output.

Definition at line 91 of file MonotonicitySettings.cpp.

◆ getExportMonotonicityFilename()

std::string storm::settings::modules::MonotonicitySettings::getExportMonotonicityFilename ( ) const

Definition at line 107 of file MonotonicitySettings.cpp.

◆ getMonotoneParameterFilename()

std::string storm::settings::modules::MonotonicitySettings::getMonotoneParameterFilename ( ) const

Definition at line 95 of file MonotonicitySettings.cpp.

◆ getMonotonicityThreshold()

uint_fast64_t storm::settings::modules::MonotonicitySettings::getMonotonicityThreshold ( ) const

Retrieves the depth threshold from which on monotonicity should be used in parameter lifting.

Definition at line 111 of file MonotonicitySettings.cpp.

◆ getNumberOfSamples()

uint_fast64_t storm::settings::modules::MonotonicitySettings::getNumberOfSamples ( ) const

Retrieves the number of samples used for sampling in the monotonicity analysis.

Definition at line 99 of file MonotonicitySettings.cpp.

◆ isDotOutputSet()

bool storm::settings::modules::MonotonicitySettings::isDotOutputSet ( ) const

Retrieves whether a dot output of the reachability orders should be given.

Definition at line 83 of file MonotonicitySettings.cpp.

◆ isExportMonotonicitySet()

bool storm::settings::modules::MonotonicitySettings::isExportMonotonicitySet ( ) const

Definition at line 103 of file MonotonicitySettings.cpp.

◆ isMonotoneParametersSet()

bool storm::settings::modules::MonotonicitySettings::isMonotoneParametersSet ( ) const

Definition at line 87 of file MonotonicitySettings.cpp.

◆ isMonSolutionSet()

bool storm::settings::modules::MonotonicitySettings::isMonSolutionSet ( ) const

Definition at line 115 of file MonotonicitySettings.cpp.

◆ isSccEliminationSet()

bool storm::settings::modules::MonotonicitySettings::isSccEliminationSet ( ) const

Retrieves whether SCCs in the monotonicity analysis should be eliminated.

Definition at line 79 of file MonotonicitySettings.cpp.

◆ isUsePLABoundsSet()

bool storm::settings::modules::MonotonicitySettings::isUsePLABoundsSet ( ) const

Definition at line 75 of file MonotonicitySettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::MonotonicitySettings::moduleName = "mon"

static

Definition at line 63 of file MonotonicitySettings.h.

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

src/storm-pars/settings/modules/MonotonicitySettings.h
src/storm-pars/settings/modules/MonotonicitySettings.cpp

Public Member Functions

Static Public Attributes

Additional Inherited Members