Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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::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 = "cudd"
 

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

Definition at line 13 of file CuddSettings.h.

Member Enumeration Documentation

◆ ReorderingTechnique

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: