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

#include <FeasibilitySettings.h>

Inheritance diagram for storm::settings::modules::FeasibilitySettings:

Collaboration diagram for storm::settings::modules::FeasibilitySettings:

Public Member Functions
	FeasibilitySettings ()

storm::pars::FeasibilityMethod	getFeasibilityMethod () const
	Get the feasibility method to be used.

bool	hasOptimalValueGuaranteeBeenSet () const
	Retrieves whether an optimal value guarantee has been provided.

double	getOptimalValueGuarantee () const
	Retrieves the precision for the extremal value.

bool	isAbsolutePrecisionSet () const
	Should the guarantee for the optimal value be absolute or relative.

bool	isParameterDirectionSet () const
	Retrieves whether an extremal value is to be computed.

storm::solver::OptimizationDirection	getParameterDirection () const
	Retrieves whether to minimize or maximize over parameters.

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

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 parametric model checking.

Definition at line 11 of file FeasibilitySettings.h.

Constructor & Destructor Documentation

◆ FeasibilitySettings()

storm::settings::modules::FeasibilitySettings::FeasibilitySettings ( )

Definition at line 18 of file FeasibilitySettings.cpp.

Member Function Documentation

◆ getFeasibilityMethod()

storm::pars::FeasibilityMethod storm::settings::modules::FeasibilitySettings::getFeasibilityMethod ( ) const

Get the feasibility method to be used.

Definition at line 45 of file FeasibilitySettings.cpp.

◆ getOptimalValueGuarantee()

double storm::settings::modules::FeasibilitySettings::getOptimalValueGuarantee ( ) const

Retrieves the precision for the extremal value.

Definition at line 73 of file FeasibilitySettings.cpp.

◆ getParameterDirection()

storm::solver::OptimizationDirection storm::settings::modules::FeasibilitySettings::getParameterDirection ( ) const

Retrieves whether to minimize or maximize over parameters.

Definition at line 59 of file FeasibilitySettings.cpp.

◆ hasOptimalValueGuaranteeBeenSet()

bool storm::settings::modules::FeasibilitySettings::hasOptimalValueGuaranteeBeenSet ( ) const

Retrieves whether an optimal value guarantee has been provided.

Definition at line 69 of file FeasibilitySettings.cpp.

◆ isAbsolutePrecisionSet()

bool storm::settings::modules::FeasibilitySettings::isAbsolutePrecisionSet ( ) const

Should the guarantee for the optimal value be absolute or relative.

Definition at line 83 of file FeasibilitySettings.cpp.

◆ isParameterDirectionSet()

bool storm::settings::modules::FeasibilitySettings::isParameterDirectionSet ( ) const

Retrieves whether an extremal value is to be computed.

Definition at line 55 of file FeasibilitySettings.cpp.

Member Data Documentation

◆ moduleName

const std::string storm::settings::modules::FeasibilitySettings::moduleName = "feasibility"

static

Definition at line 44 of file FeasibilitySettings.h.

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

src/storm-pars/settings/modules/FeasibilitySettings.h
src/storm-pars/settings/modules/FeasibilitySettings.cpp

Public Member Functions

Static Public Attributes

Additional Inherited Members