This class represents the model transformer settings. More...

#include <HintSettings.h>

Inheritance diagram for storm::settings::modules::HintSettings:

Collaboration diagram for storm::settings::modules::HintSettings:

Public Member Functions
	HintSettings ()
	Creates a new set of transformer settings.

bool	isNumberStatesSet () const
	Retrieves whether the option that estimates the number of states is set.

uint64_t	getNumberStates () const

bool	check () const override
	Checks whether the settings are consistent.

void	finalize () override
	Prepares the modules for further usage, should be called at the end of the initialization, before checks are executed.

Public Member Functions inherited from storm::settings::modules::ModuleSettings
	ModuleSettings (std::string const &moduleName)
	Constructs a new settings object.

virtual	~ModuleSettings ()

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

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 model transformer settings.

Definition at line 13 of file HintSettings.h.

Constructor & Destructor Documentation

◆ HintSettings()

storm::settings::modules::HintSettings::HintSettings ( )

Creates a new set of transformer settings.

Definition at line 17 of file HintSettings.cpp.

Member Function Documentation

◆ check()

bool storm::settings::modules::HintSettings::check ( ) const

overridevirtual

Checks whether the settings are consistent.

If they are inconsistent, an exception is thrown.

Returns: True if the settings are consistent.

Reimplemented from storm::settings::modules::ModuleSettings.

Definition at line 31 of file HintSettings.cpp.

◆ finalize()

void storm::settings::modules::HintSettings::finalize ( )

overridevirtual

Prepares the modules for further usage, should be called at the end of the initialization, before checks are executed.

Reimplemented from storm::settings::modules::ModuleSettings.

Definition at line 35 of file HintSettings.cpp.

◆ getNumberStates()

uint64_t storm::settings::modules::HintSettings::getNumberStates ( ) const

Definition at line 27 of file HintSettings.cpp.

◆ isNumberStatesSet()

bool storm::settings::modules::HintSettings::isNumberStatesSet ( ) const

Retrieves whether the option that estimates the number of states is set.

Definition at line 23 of file HintSettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::HintSettings::moduleName = "hints"

static

Definition at line 32 of file HintSettings.h.

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

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

Public Member Functions

Static Public Attributes

Additional Inherited Members