storm::CuddDdManagerEnvironment Class Reference

#include <CuddDdManagerEnvironment.h>

Public Member Functions
	CuddDdManagerEnvironment ()
	~CuddDdManagerEnvironment ()
double	getConstantPrecision () const
	Retrieves the precision up to which constants are considered to be different.
void	setConstantPrecision (double value)
uint64_t	getMaximalMemory () const
	Retrieves the maximal amount of memory (in megabytes) that CUDD can occupy.
void	setMaximalMemory (uint64_t value)
bool	isReorderingEnabled () const
void	setReorderingEnabled (bool value)
storm::dd::CuddReorderingTechnique	getReorderingTechnique () const
void	setReorderingTechnique (storm::dd::CuddReorderingTechnique value)

Detailed Description

Definition at line 9 of file CuddDdManagerEnvironment.h.

Constructor & Destructor Documentation

CuddDdManagerEnvironment()

storm::CuddDdManagerEnvironment::CuddDdManagerEnvironment

(

)

Definition at line 9 of file CuddDdManagerEnvironment.cpp.

~CuddDdManagerEnvironment()

storm::CuddDdManagerEnvironment::~CuddDdManagerEnvironment

(

)

Definition at line 20 of file CuddDdManagerEnvironment.cpp.

Member Function Documentation

getConstantPrecision()

double storm::CuddDdManagerEnvironment::getConstantPrecision

(

)

const

Retrieves the precision up to which constants are considered to be different.

Definition at line 24 of file CuddDdManagerEnvironment.cpp.

getMaximalMemory()

uint64_t storm::CuddDdManagerEnvironment::getMaximalMemory

(

)

const

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

Definition at line 32 of file CuddDdManagerEnvironment.cpp.

getReorderingTechnique()

storm::dd::CuddReorderingTechnique storm::CuddDdManagerEnvironment::getReorderingTechnique

(

)

const

Definition at line 48 of file CuddDdManagerEnvironment.cpp.

isReorderingEnabled()

bool storm::CuddDdManagerEnvironment::isReorderingEnabled

(

)

const

Definition at line 40 of file CuddDdManagerEnvironment.cpp.

setConstantPrecision()

void storm::CuddDdManagerEnvironment::setConstantPrecision

(

double

value

)

Definition at line 28 of file CuddDdManagerEnvironment.cpp.

setMaximalMemory()

void storm::CuddDdManagerEnvironment::setMaximalMemory

(

uint64_t

value

)

Definition at line 36 of file CuddDdManagerEnvironment.cpp.

setReorderingEnabled()

void storm::CuddDdManagerEnvironment::setReorderingEnabled

(

bool

value

)

Definition at line 44 of file CuddDdManagerEnvironment.cpp.

setReorderingTechnique()

void storm::CuddDdManagerEnvironment::setReorderingTechnique

(

storm::dd::CuddReorderingTechnique

value

)

Definition at line 52 of file CuddDdManagerEnvironment.cpp.

---

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

• src/storm/environment/dd/CuddDdManagerEnvironment.h
• src/storm/environment/dd/CuddDdManagerEnvironment.cpp