storm::SylvanDdManagerEnvironment Class Reference

#include <SylvanDdManagerEnvironment.h>

Public Member Functions
	SylvanDdManagerEnvironment ()
	~SylvanDdManagerEnvironment ()
uint64_t	getMaximalMemory () const
	Retrieves the maximal amount of memory (in megabytes) that Sylvan can occupy.
void	setMaximalMemory (uint64_t value)
uint64_t	getNumberOfThreads () const
	Retrieves the number of threads used by Sylvan.
void	setNumberOfThreads (uint64_t value)

Detailed Description

Definition at line 7 of file SylvanDdManagerEnvironment.h.

Constructor & Destructor Documentation

SylvanDdManagerEnvironment()

storm::SylvanDdManagerEnvironment::SylvanDdManagerEnvironment

(

)

Definition at line 11 of file SylvanDdManagerEnvironment.cpp.

~SylvanDdManagerEnvironment()

storm::SylvanDdManagerEnvironment::~SylvanDdManagerEnvironment

(

)

Definition at line 19 of file SylvanDdManagerEnvironment.cpp.

Member Function Documentation

getMaximalMemory()

uint64_t storm::SylvanDdManagerEnvironment::getMaximalMemory

(

)

const

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

Definition at line 23 of file SylvanDdManagerEnvironment.cpp.

getNumberOfThreads()

uint64_t storm::SylvanDdManagerEnvironment::getNumberOfThreads

(

)

const

Retrieves the number of threads used by Sylvan.

Note that a value of zero means that the number of threads is auto-detected to fit the current machine.

Definition at line 31 of file SylvanDdManagerEnvironment.cpp.

setMaximalMemory()

void storm::SylvanDdManagerEnvironment::setMaximalMemory

(

uint64_t

value

)

Definition at line 27 of file SylvanDdManagerEnvironment.cpp.

setNumberOfThreads()

void storm::SylvanDdManagerEnvironment::setNumberOfThreads

(

uint64_t

value

)

Definition at line 44 of file SylvanDdManagerEnvironment.cpp.

---

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

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