storm::settings::modules::CuddSettings Class Reference

This class represents the settings for CUDD. More...

#include <CuddSettings.h>

Inheritance diagram for storm::settings::modules::CuddSettings:

Collaboration diagram for storm::settings::modules::CuddSettings:

Public Types
enum class	ReorderingTechnique {   None , Random , RandomPivot , Sift ,   SiftConv , SymmetricSift , SymmetricSiftConv , GroupSift ,   GroupSiftConv , Win2 , Win2Conv , Win3 ,   Win3Conv , Win4 , Win4Conv , Annealing ,   Genetic , Exact }

Public Member Functions
	CuddSettings ()
	Creates a new set of CUDD settings.
double	getConstantPrecision () const
	Retrieves the precision that CUDD is supposed to use for distinguishing constants.
uint_fast64_t	getMaximalMemory () const
	Retrieves the maximal amount of memory (in megabytes) that CUDD can occupy.
bool	isReorderingEnabled () const
	Retrieves whether dynamic reordering is enabled.
ReorderingTechnique	getReorderingTechnique () const
	Retrieves the reordering technique that CUDD is supposed to use.
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 = "cudd"

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 CUDD.

Definition at line 13 of file CuddSettings.h.

Member Enumeration Documentation

ReorderingTechnique

enum class storm::settings::modules::CuddSettings::ReorderingTechnique

strong

Enumerator
None
Random
RandomPivot
Sift
SiftConv
SymmetricSift
SymmetricSiftConv
GroupSift
GroupSiftConv
Win2
Win2Conv
Win3
Win3Conv
Win4
Win4Conv
Annealing
Genetic
Exact

Definition at line 16 of file CuddSettings.h.

Constructor & Destructor Documentation

CuddSettings()

storm::settings::modules::CuddSettings::CuddSettings

(

)

Creates a new set of CUDD settings.

Definition at line 23 of file CuddSettings.cpp.

Member Function Documentation

getConstantPrecision()

double storm::settings::modules::CuddSettings::getConstantPrecision

(

)

const

Retrieves the precision that CUDD is supposed to use for distinguishing constants.

Returns

The desired precision of CUDD.

Definition at line 73 of file CuddSettings.cpp.

getMaximalMemory()

uint_fast64_t storm::settings::modules::CuddSettings::getMaximalMemory

(

)

const

Retrieves the maximal amount of memory (in megabytes) that CUDD can occupy.

Returns

The maximal amount of memory to use.

Definition at line 77 of file CuddSettings.cpp.

getReorderingTechnique()

CuddSettings::ReorderingTechnique storm::settings::modules::CuddSettings::getReorderingTechnique

(

)

const

Retrieves the reordering technique that CUDD is supposed to use.

Returns

The reordering technique to use.

Definition at line 85 of file CuddSettings.cpp.

isReorderingEnabled()

bool storm::settings::modules::CuddSettings::isReorderingEnabled

(

)

const

Retrieves whether dynamic reordering is enabled.

Returns

True iff dynamic reordering is enabled.

Definition at line 81 of file CuddSettings.cpp.

Member Data Documentation

moduleName

const std::string storm::settings::modules::CuddSettings::moduleName = "cudd"

static

Definition at line 71 of file CuddSettings.h.

---

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

• src/storm/settings/modules/CuddSettings.h
• src/storm/settings/modules/CuddSettings.cpp