This class represents the settings for the elimination-based procedures. More...

#include <EliminationSettings.h>

Inheritance diagram for storm::settings::modules::EliminationSettings:

Collaboration diagram for storm::settings::modules::EliminationSettings:

Public Types
enum class	EliminationOrder { Forward , ForwardReversed , Backward , BackwardReversed , Random , StaticPenalty , DynamicPenalty , RegularExpression }
	An enum that contains all available state elimination orders. More...

enum class	EliminationMethod { State , Scc , Hybrid }
	An enum that contains all available elimination methods. More...

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

EliminationMethod	getEliminationMethod () const
	Retrieves the selected elimination method.

EliminationOrder	getEliminationOrder () const
	Retrieves the selected elimination order.

bool	isEliminateEntryStatesLastSet () const
	Retrieves whether the option to eliminate entry states in the very end is set.

uint_fast64_t	getMaximalSccSize () const
	Retrieves the maximal size of an SCC on which state elimination is to be directly applied.

bool	isUseDedicatedModelCheckerSet () const
	Retrieves whether the dedicated model checker is to be used instead of the general on.

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

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 the elimination-based procedures.

Definition at line 13 of file EliminationSettings.h.

Member Enumeration Documentation

◆ EliminationMethod

enum class storm::settings::modules::EliminationSettings::EliminationMethod

strong

An enum that contains all available elimination methods.

Enumerator
State
Scc
Hybrid

Definition at line 23 of file EliminationSettings.h.

◆ EliminationOrder

enum class storm::settings::modules::EliminationSettings::EliminationOrder

strong

An enum that contains all available state elimination orders.

Enumerator
Forward
ForwardReversed
Backward
BackwardReversed
Random
StaticPenalty
DynamicPenalty
RegularExpression

Definition at line 18 of file EliminationSettings.h.

Constructor & Destructor Documentation

◆ EliminationSettings()

storm::settings::modules::EliminationSettings::EliminationSettings ( )

Creates a new set of parametric model checking settings.

Definition at line 22 of file EliminationSettings.cpp.

Member Function Documentation

◆ getEliminationMethod()

EliminationSettings::EliminationMethod storm::settings::modules::EliminationSettings::getEliminationMethod ( ) const

Retrieves the selected elimination method.

Returns: The selected elimination method.

Definition at line 59 of file EliminationSettings.cpp.

◆ getEliminationOrder()

EliminationSettings::EliminationOrder storm::settings::modules::EliminationSettings::getEliminationOrder ( ) const

Retrieves the selected elimination order.

Returns: The selected elimination order.

Definition at line 70 of file EliminationSettings.cpp.

◆ getMaximalSccSize()

uint_fast64_t storm::settings::modules::EliminationSettings::getMaximalSccSize ( ) const

Retrieves the maximal size of an SCC on which state elimination is to be directly applied.

Returns: The maximal size of an SCC on which state elimination is to be directly applied.

Definition at line 97 of file EliminationSettings.cpp.

◆ isEliminateEntryStatesLastSet()

bool storm::settings::modules::EliminationSettings::isEliminateEntryStatesLastSet ( ) const

Retrieves whether the option to eliminate entry states in the very end is set.

Returns: True iff the option is set.

Definition at line 93 of file EliminationSettings.cpp.

◆ isUseDedicatedModelCheckerSet()

bool storm::settings::modules::EliminationSettings::isUseDedicatedModelCheckerSet ( ) const

Retrieves whether the dedicated model checker is to be used instead of the general on.

Returns: True iff the option was set.

Definition at line 101 of file EliminationSettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::EliminationSettings::moduleName = "elimination"

static

Definition at line 65 of file EliminationSettings.h.

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

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

Public Types

Public Member Functions

Static Public Attributes

Additional Inherited Members