This class represents the settings for parametric model checking. More...

#include <ParametricSettings.h>

Inheritance diagram for storm::settings::modules::ParametricSettings:

Collaboration diagram for storm::settings::modules::ParametricSettings:

Public Member Functions
	ParametricSettings ()
	Creates a new set of parametric model checking settings.

bool	exportResultToFile () const
	Retrieves whether the model checking result should be exported to a file.

std::string	exportResultPath () const
	The path to a file location which should contain the model checking result.

bool	transformContinuousModel () const
	Retrieves whether Continuous time models should be transformed to discrete time models.

bool	isUseMonotonicitySet () const
	Retrieves whether monotonicity should be used as preprocessing.

bool	hasOperationModeBeenSet () const
	Has the operation mode (feasibility, verification, etc) been set?

pars::utility::ParametricMode	getOperationMode () const
	In what operation mode should storm-pars run.

bool	isBigStepEnabled () const
	Retrieves whether big-step should be enabled.

uint64_t	getBigStepHorizon () const
	Retrieves big step depth.

bool	isLinearToSimpleEnabled () const
	Retrieves whether linear to simple should be enabled.

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

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 parametric model checking.

Definition at line 9 of file ParametricSettings.h.

Constructor & Destructor Documentation

◆ ParametricSettings()

storm::settings::modules::ParametricSettings::ParametricSettings ( )

Creates a new set of parametric model checking settings.

Definition at line 24 of file ParametricSettings.cpp.

Member Function Documentation

◆ exportResultPath()

std::string storm::settings::modules::ParametricSettings::exportResultPath ( ) const

The path to a file location which should contain the model checking result.

Returns: A path to a file location.

Definition at line 51 of file ParametricSettings.cpp.

◆ exportResultToFile()

bool storm::settings::modules::ParametricSettings::exportResultToFile ( ) const

Retrieves whether the model checking result should be exported to a file.

Returns: True iff the result should be exported to a file.

Definition at line 47 of file ParametricSettings.cpp.

◆ getBigStepHorizon()

uint64_t storm::settings::modules::ParametricSettings::getBigStepHorizon ( ) const

Retrieves big step depth.

Definition at line 77 of file ParametricSettings.cpp.

◆ getOperationMode()

pars::utility::ParametricMode storm::settings::modules::ParametricSettings::getOperationMode ( ) const

In what operation mode should storm-pars run.

Definition at line 67 of file ParametricSettings.cpp.

◆ hasOperationModeBeenSet()

bool storm::settings::modules::ParametricSettings::hasOperationModeBeenSet ( ) const

Has the operation mode (feasibility, verification, etc) been set?

Definition at line 63 of file ParametricSettings.cpp.

◆ isBigStepEnabled()

bool storm::settings::modules::ParametricSettings::isBigStepEnabled ( ) const

Retrieves whether big-step should be enabled.

Definition at line 73 of file ParametricSettings.cpp.

◆ isLinearToSimpleEnabled()

bool storm::settings::modules::ParametricSettings::isLinearToSimpleEnabled ( ) const

Retrieves whether linear to simple should be enabled.

Definition at line 81 of file ParametricSettings.cpp.

◆ isUseMonotonicitySet()

bool storm::settings::modules::ParametricSettings::isUseMonotonicitySet ( ) const

Retrieves whether monotonicity should be used as preprocessing.

Definition at line 59 of file ParametricSettings.cpp.

◆ transformContinuousModel()

bool storm::settings::modules::ParametricSettings::transformContinuousModel ( ) const

Retrieves whether Continuous time models should be transformed to discrete time models.

Definition at line 55 of file ParametricSettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::ParametricSettings::moduleName = "parametric"

static

Definition at line 63 of file ParametricSettings.h.

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

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

Public Member Functions

Static Public Attributes

Additional Inherited Members