storm::SubEnvironment< EnvironmentType > Class Template Reference

#include <SubEnvironment.h>

Public Member Functions
	SubEnvironment ()
	SubEnvironment (SubEnvironment const &other)
SubEnvironment< EnvironmentType > &	operator= (SubEnvironment const &other)
EnvironmentType const &	get () const
EnvironmentType &	get ()

Detailed Description

template<typename EnvironmentType>
class storm::SubEnvironment< EnvironmentType >

Definition at line 8 of file SubEnvironment.h.

Constructor & Destructor Documentation

SubEnvironment() [1/2]

template<typename EnvironmentType>

storm::SubEnvironment< EnvironmentType >::SubEnvironment

(

)

Definition at line 12 of file SubEnvironment.cpp.

SubEnvironment() [2/2]

template<typename EnvironmentType>

storm::SubEnvironment< EnvironmentType >::SubEnvironment

(

SubEnvironment< EnvironmentType > const &

other

)

Definition at line 17 of file SubEnvironment.cpp.

Member Function Documentation

get() [1/2]

template<typename EnvironmentType>

EnvironmentType & storm::SubEnvironment< EnvironmentType >::get

(

)

Definition at line 38 of file SubEnvironment.cpp.

get() [2/2]

template<typename EnvironmentType>

EnvironmentType const & storm::SubEnvironment< EnvironmentType >::get

(

)

const

Definition at line 32 of file SubEnvironment.cpp.

operator=()

template<typename EnvironmentType>

SubEnvironment< EnvironmentType > & storm::SubEnvironment< EnvironmentType >::operator=

(

SubEnvironment< EnvironmentType > const &

other

)

Definition at line 22 of file SubEnvironment.cpp.

---

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

• src/storm/environment/SubEnvironment.h
• src/storm/environment/SubEnvironment.cpp