Storm 1.11.1.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | Static Public Attributes | List of all members
storm::settings::modules::BuildSettings Class Reference

#include <BuildSettings.h>

Inheritance diagram for storm::settings::modules::BuildSettings:
Inheritance graph
[legend]
Collaboration diagram for storm::settings::modules::BuildSettings:
Collaboration graph
[legend]

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 202 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 184 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 222 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 214 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 210 of file BuildSettings.cpp.

◆ isAddOverlappingGuardsLabelSet()

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

Retrieves whether to build the overlapping label.

Definition at line 176 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 152 of file BuildSettings.cpp.

◆ isBuildAllLabelsSet()

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

Retrieves whether all labels should be build.

Definition at line 180 of file BuildSettings.cpp.

◆ isBuildChoiceLabelsSet()

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

Retrieves whether the choice labels should be build.

Definition at line 156 of file BuildSettings.cpp.

◆ isBuildChoiceOriginsSet()

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

Retrieves whether the choice origins should be build.

Definition at line 160 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 144 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 168 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 172 of file BuildSettings.cpp.

◆ isBuildStateValuationsSet()

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

Retrieves whether the choice labels should be build.

Returns

Definition at line 164 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 136 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 194 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 128 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 218 of file BuildSettings.cpp.

◆ isLocationEliminationSet()

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

Retrieves whether location elimination is enabled.

Definition at line 206 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 148 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 198 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 132 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
stateToSetThe value that is to be set for the fix-deadlocks option.
Returns
The memento that will eventually restore the original value.

Definition at line 140 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: