Storm
A Modern Probabilistic Model Checker
|
This class represents the settings for CUDD. More...
#include <CuddSettings.h>
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. | |
![]() | |
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 | |
![]() | |
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. | |
This class represents the settings for CUDD.
Definition at line 13 of file CuddSettings.h.
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.
storm::settings::modules::CuddSettings::CuddSettings | ( | ) |
Creates a new set of CUDD settings.
Definition at line 23 of file CuddSettings.cpp.
double storm::settings::modules::CuddSettings::getConstantPrecision | ( | ) | const |
Retrieves the precision that CUDD is supposed to use for distinguishing constants.
Definition at line 73 of file CuddSettings.cpp.
uint_fast64_t storm::settings::modules::CuddSettings::getMaximalMemory | ( | ) | const |
Retrieves the maximal amount of memory (in megabytes) that CUDD can occupy.
Definition at line 77 of file CuddSettings.cpp.
CuddSettings::ReorderingTechnique storm::settings::modules::CuddSettings::getReorderingTechnique | ( | ) | const |
Retrieves the reordering technique that CUDD is supposed to use.
Definition at line 85 of file CuddSettings.cpp.
bool storm::settings::modules::CuddSettings::isReorderingEnabled | ( | ) | const |
Retrieves whether dynamic reordering is enabled.
Definition at line 81 of file CuddSettings.cpp.
|
static |
Definition at line 71 of file CuddSettings.h.