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 11 of file SubEnvironment.cpp.

SubEnvironment() [2/2]

template<typename EnvironmentType >

storm::SubEnvironment< EnvironmentType >::SubEnvironment

(

SubEnvironment< EnvironmentType > const &

other

)

Definition at line 16 of file SubEnvironment.cpp.

Member Function Documentation

get() [1/2]

template<typename EnvironmentType >

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

(

)

Definition at line 37 of file SubEnvironment.cpp.

get() [2/2]

template<typename EnvironmentType >

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

(

)

const

Definition at line 31 of file SubEnvironment.cpp.

operator=()

template<typename EnvironmentType >

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

(

SubEnvironment< EnvironmentType > const &

other

)

Definition at line 21 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