Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::modules::RegionSettings Class Reference

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

#include <RegionSettings.h>

Inheritance diagram for storm::settings::modules::RegionSettings:
Collaboration diagram for storm::settings::modules::RegionSettings:

Public Member Functions

 RegionSettings ()
 Creates a new set of parametric model checking settings.
 
bool isRegionSet () const
 Retrieves whether region(s) were declared.
 
std::string getRegionString () const
 Retrieves the region definition string.
 
bool isRegionBoundSet () const
 Retrieves whether region bound is declared.
 
std::string getRegionBoundString () const
 Retrieves the region definition string.
 
- 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::SettingMementooverrideOption (std::string const &name, bool requiredStatus)
 Sets the option with the given name to the required status.
 
std::string constgetModuleName () const
 Retrieves the name of the module to which these settings belong.
 
std::vector< std::shared_ptr< Option > > constgetOptions () 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 = "region"
 

Additional Inherited Members

- Protected Member Functions inherited from storm::settings::modules::ModuleSettings
OptiongetOption (std::string const &longName)
 Retrieves the option with the given long name.
 
Option constgetOption (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 12 of file RegionSettings.h.

Constructor & Destructor Documentation

◆ RegionSettings()

storm::settings::modules::RegionSettings::RegionSettings ( )

Creates a new set of parametric model checking settings.

Definition at line 18 of file RegionSettings.cpp.

Member Function Documentation

◆ getRegionBoundString()

std::string storm::settings::modules::RegionSettings::getRegionBoundString ( ) const

Retrieves the region definition string.

Definition at line 45 of file RegionSettings.cpp.

◆ getRegionString()

std::string storm::settings::modules::RegionSettings::getRegionString ( ) const

Retrieves the region definition string.

Definition at line 37 of file RegionSettings.cpp.

◆ isRegionBoundSet()

bool storm::settings::modules::RegionSettings::isRegionBoundSet ( ) const

Retrieves whether region bound is declared.

Definition at line 41 of file RegionSettings.cpp.

◆ isRegionSet()

bool storm::settings::modules::RegionSettings::isRegionSet ( ) const

Retrieves whether region(s) were declared.

Definition at line 33 of file RegionSettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::RegionSettings::moduleName = "region"
static

Definition at line 39 of file RegionSettings.h.


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