storm::DdEnvironment Class Reference

#include <DdEnvironment.h>

Public Member Functions
	DdEnvironment ()
	~DdEnvironment ()
SylvanDdManagerEnvironment &	sylvan ()
SylvanDdManagerEnvironment const &	sylvan () const
CuddDdManagerEnvironment &	cudd ()
CuddDdManagerEnvironment const &	cudd () const
template<storm::dd::DdType Type>
DdEnvironmentSelector< Type >::type &	get ()
	Retrieves the sub-environment belonging to the given DD type.
template<storm::dd::DdType Type>
DdEnvironmentSelector< Type >::type const &	get () const
template<storm::dd::DdType Type>
DdEnvironmentSelector< Type >::type const &	get () const

Detailed Description

Definition at line 28 of file DdEnvironment.h.

Constructor & Destructor Documentation

DdEnvironment()

storm::DdEnvironment::DdEnvironment

(

)

Definition at line 8 of file DdEnvironment.cpp.

~DdEnvironment()

storm::DdEnvironment::~DdEnvironment

(

)

Definition at line 12 of file DdEnvironment.cpp.

Member Function Documentation

cudd() [1/2]

CuddDdManagerEnvironment & storm::DdEnvironment::cudd

(

)

Definition at line 24 of file DdEnvironment.cpp.

cudd() [2/2]

CuddDdManagerEnvironment const & storm::DdEnvironment::cudd

(

)

const

Definition at line 28 of file DdEnvironment.cpp.

get() [1/3]

template<storm::dd::DdType Type>

DdEnvironmentSelector< Type >::type & storm::DdEnvironment::get

(

)

Retrieves the sub-environment belonging to the given DD type.

Definition at line 33 of file DdEnvironment.cpp.

get() [2/3]

template<storm::dd::DdType Type>

template CuddDdManagerEnvironment const & storm::DdEnvironment::get< storm::dd::DdType::CUDD >

(

)

const

Definition at line 43 of file DdEnvironment.cpp.

get() [3/3]

template<storm::dd::DdType Type>

DdEnvironmentSelector< Type >::type const & storm::DdEnvironment::get

(

)

const

sylvan() [1/2]

SylvanDdManagerEnvironment & storm::DdEnvironment::sylvan

(

)

Definition at line 16 of file DdEnvironment.cpp.

sylvan() [2/2]

SylvanDdManagerEnvironment const & storm::DdEnvironment::sylvan

(

)

const

Definition at line 20 of file DdEnvironment.cpp.

---

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

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