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

Constructor & Destructor Documentation

SubEnvironment() [1/2]

template<typename EnvironmentType>

storm::SubEnvironment< EnvironmentType >::SubEnvironment

(

)

Definition at line 25 of file SubEnvironment.h.

SubEnvironment() [2/2]

template<typename EnvironmentType>

storm::SubEnvironment< EnvironmentType >::SubEnvironment

(

SubEnvironment< EnvironmentType > const &

other

)

Definition at line 30 of file SubEnvironment.h.

Member Function Documentation

get() [1/2]

template<typename EnvironmentType>

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

(

)

Definition at line 51 of file SubEnvironment.h.

get() [2/2]

template<typename EnvironmentType>

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

(

)

const

Definition at line 45 of file SubEnvironment.h.

operator=()

template<typename EnvironmentType>

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

(

SubEnvironment< EnvironmentType > const &

other

)

Definition at line 35 of file SubEnvironment.h.

---

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

• src/storm/environment/SubEnvironment.h