#include <BuildSettings.h>

Inheritance diagram for storm::settings::modules::BuildSettings:

Collaboration diagram for storm::settings::modules::BuildSettings:

Public Member Functions
	BuildSettings ()
	Creates a new set of core settings.

bool	isExplorationOrderSet () const
	Retrieves whether the model exploration order was set.

bool	isExplorationChecksSet () const
	Retrieves whether to perform additional checks during model exploration (e.g.

storm::builder::ExplorationOrder	getExplorationOrder () const
	Retrieves the exploration order if it was set.

bool	isPrismCompatibilityEnabled () const
	Retrieves whether the PRISM compatibility mode was enabled.

bool	isDontFixDeadlocksSet () const
	Retrieves whether the dont-fix-deadlocks option was set.

std::unique_ptr< storm::settings::SettingMemento >	overrideDontFixDeadlocksSet (bool stateToSet)
	Overrides the option to not fix deadlocks by setting it to the specified value.

bool	isNoBuildModelSet () const
	Retrieves whether no model should be build at all, in case one just want to translate models or parse a file.

bool	isBuildFullModelSet () const
	Retrieves whether the full model should be build, that is, the model including all labels and rewards.

bool	isApplyNoMaximumProgressAssumptionSet () const
	Retrieves whether the maximum progress assumption is to be applied when building the model.

bool	isBuildChoiceLabelsSet () const
	Retrieves whether the choice labels should be build.

bool	isBuildChoiceOriginsSet () const
	Retrieves whether the choice origins should be build.

bool	isBuildStateValuationsSet () const
	Retrieves whether the choice labels should be build.

bool	isBuildObservationValuationsSet () const
	Retrieves whether the observation valuations should be build.

bool	isBuildOutOfBoundsStateSet () const
	Retrieves whether out of bounds state should be added.

bool	isAddOverlappingGuardsLabelSet () const
	Retrieves whether to build the overlapping label.

bool	isBuildAllLabelsSet () const
	Retrieves whether all labels should be build.

uint64_t	getBitsForUnboundedVariables () const
	Retrieves the number of bits that should be used to represent unbounded integer variables.

bool	isNoSimplifySet () const
	Retrieves whether simplification of symbolic inputs through static analysis shall be disabled.

bool	isLocationEliminationSet () const
	Retrieves whether location elimination is enabled.

uint64_t	getLocationEliminationLocationHeuristic () const
	Retrieves the location parameter of the location elimination heuristic.

uint64_t	getLocationEliminationEdgesHeuristic () const
	Retrieves the edge parameter of the location elimination heuristic.

bool	isExplorationStateLimitSet () const
	Retrieves whether an exploration state limit has been set in which case state space exploration might be stopped once the specified number is exceeded.

uint64_t	getExplorationStateLimit () const
	Retrieves the state limit (if 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 = "build"

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 10 of file BuildSettings.h.

Constructor & Destructor Documentation

◆ BuildSettings()

storm::settings::modules::BuildSettings::BuildSettings ( )

Creates a new set of core settings.

Definition at line 44 of file BuildSettings.cpp.

Member Function Documentation

◆ getBitsForUnboundedVariables()

uint64_t storm::settings::modules::BuildSettings::getBitsForUnboundedVariables ( ) const

Retrieves the number of bits that should be used to represent unbounded integer variables.

Returns

Definition at line 201 of file BuildSettings.cpp.

◆ getExplorationOrder()

storm::builder::ExplorationOrder storm::settings::modules::BuildSettings::getExplorationOrder ( ) const

Retrieves the exploration order if it was set.

Returns: The chosen exploration order.

Definition at line 183 of file BuildSettings.cpp.

◆ getExplorationStateLimit()

uint64_t storm::settings::modules::BuildSettings::getExplorationStateLimit ( ) const

Retrieves the state limit (if set).

State space exploration might be stopped once the specified number is exceeded.

Definition at line 221 of file BuildSettings.cpp.

◆ getLocationEliminationEdgesHeuristic()

uint64_t storm::settings::modules::BuildSettings::getLocationEliminationEdgesHeuristic ( ) const

Retrieves the edge parameter of the location elimination heuristic.

Definition at line 213 of file BuildSettings.cpp.

◆ getLocationEliminationLocationHeuristic()

uint64_t storm::settings::modules::BuildSettings::getLocationEliminationLocationHeuristic ( ) const

Retrieves the location parameter of the location elimination heuristic.

Definition at line 209 of file BuildSettings.cpp.

◆ isAddOverlappingGuardsLabelSet()

bool storm::settings::modules::BuildSettings::isAddOverlappingGuardsLabelSet ( ) const

Retrieves whether to build the overlapping label.

Definition at line 175 of file BuildSettings.cpp.

◆ isApplyNoMaximumProgressAssumptionSet()

bool storm::settings::modules::BuildSettings::isApplyNoMaximumProgressAssumptionSet ( ) const

Retrieves whether the maximum progress assumption is to be applied when building the model.

Definition at line 151 of file BuildSettings.cpp.

◆ isBuildAllLabelsSet()

bool storm::settings::modules::BuildSettings::isBuildAllLabelsSet ( ) const

Retrieves whether all labels should be build.

Definition at line 179 of file BuildSettings.cpp.

◆ isBuildChoiceLabelsSet()

bool storm::settings::modules::BuildSettings::isBuildChoiceLabelsSet ( ) const

Retrieves whether the choice labels should be build.

Definition at line 155 of file BuildSettings.cpp.

◆ isBuildChoiceOriginsSet()

bool storm::settings::modules::BuildSettings::isBuildChoiceOriginsSet ( ) const

Retrieves whether the choice origins should be build.

Definition at line 159 of file BuildSettings.cpp.

◆ isBuildFullModelSet()

bool storm::settings::modules::BuildSettings::isBuildFullModelSet ( ) const

Retrieves whether the full model should be build, that is, the model including all labels and rewards.

Returns: true iff the full model should be build.

Definition at line 143 of file BuildSettings.cpp.

◆ isBuildObservationValuationsSet()

bool storm::settings::modules::BuildSettings::isBuildObservationValuationsSet ( ) const

Retrieves whether the observation valuations should be build.

Only relevant for POMDPs

Returns

Definition at line 167 of file BuildSettings.cpp.

◆ isBuildOutOfBoundsStateSet()

bool storm::settings::modules::BuildSettings::isBuildOutOfBoundsStateSet ( ) const

Retrieves whether out of bounds state should be added.

Returns

Definition at line 171 of file BuildSettings.cpp.

◆ isBuildStateValuationsSet()

bool storm::settings::modules::BuildSettings::isBuildStateValuationsSet ( ) const

Retrieves whether the choice labels should be build.

Returns

Definition at line 163 of file BuildSettings.cpp.

◆ isDontFixDeadlocksSet()

bool storm::settings::modules::BuildSettings::isDontFixDeadlocksSet ( ) const

Retrieves whether the dont-fix-deadlocks option was set.

Returns: True if the dont-fix-deadlocks option was set.

Definition at line 135 of file BuildSettings.cpp.

◆ isExplorationChecksSet()

bool storm::settings::modules::BuildSettings::isExplorationChecksSet ( ) const

Retrieves whether to perform additional checks during model exploration (e.g.

out-of-bounds, etc.).

Returns: True if additional checks are to be performed.

Definition at line 193 of file BuildSettings.cpp.

◆ isExplorationOrderSet()

bool storm::settings::modules::BuildSettings::isExplorationOrderSet ( ) const

Retrieves whether the model exploration order was set.

Returns: True if the model exploration option was set.

Definition at line 127 of file BuildSettings.cpp.

◆ isExplorationStateLimitSet()

bool storm::settings::modules::BuildSettings::isExplorationStateLimitSet ( ) const

Retrieves whether an exploration state limit has been set in which case state space exploration might be stopped once the specified number is exceeded.

Definition at line 217 of file BuildSettings.cpp.

◆ isLocationEliminationSet()

bool storm::settings::modules::BuildSettings::isLocationEliminationSet ( ) const

Retrieves whether location elimination is enabled.

Definition at line 205 of file BuildSettings.cpp.

◆ isNoBuildModelSet()

bool storm::settings::modules::BuildSettings::isNoBuildModelSet ( ) const

Retrieves whether no model should be build at all, in case one just want to translate models or parse a file.

Definition at line 147 of file BuildSettings.cpp.

◆ isNoSimplifySet()

bool storm::settings::modules::BuildSettings::isNoSimplifySet ( ) const

Retrieves whether simplification of symbolic inputs through static analysis shall be disabled.

Definition at line 197 of file BuildSettings.cpp.

◆ isPrismCompatibilityEnabled()

bool storm::settings::modules::BuildSettings::isPrismCompatibilityEnabled ( ) const

Retrieves whether the PRISM compatibility mode was enabled.

Returns: True iff the PRISM compatibility mode was enabled.

Definition at line 131 of file BuildSettings.cpp.

◆ overrideDontFixDeadlocksSet()

std::unique_ptr< storm::settings::SettingMemento > storm::settings::modules::BuildSettings::overrideDontFixDeadlocksSet ( bool stateToSet )

Overrides the option to not fix deadlocks by setting it to the specified value.

As soon as the returned memento goes out of scope, the original value is restored.

Parameters

stateToSet The value that is to be set for the fix-deadlocks option.

Returns: The memento that will eventually restore the original value.

Definition at line 139 of file BuildSettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::BuildSettings::moduleName = "build"

static

Definition at line 153 of file BuildSettings.h.

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

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

Public Member Functions

Static Public Attributes

Additional Inherited Members