storm::InternalEnvironment Struct Reference

#include <Environment.h>

Collaboration diagram for storm::InternalEnvironment:

Public Attributes
SubEnvironment< DdEnvironment >	ddEnvironment
SubEnvironment< ExplorationEnvironment >	explorationEnvironment
SubEnvironment< ModelCheckerEnvironment >	modelcheckerEnvironment
SubEnvironment< SolverEnvironment >	solverEnvironment

Detailed Description

Definition at line 14 of file Environment.h.

Member Data Documentation

ddEnvironment

SubEnvironment<DdEnvironment> storm::InternalEnvironment::ddEnvironment

Definition at line 15 of file Environment.h.

explorationEnvironment

SubEnvironment<ExplorationEnvironment> storm::InternalEnvironment::explorationEnvironment

Definition at line 16 of file Environment.h.

modelcheckerEnvironment

SubEnvironment<ModelCheckerEnvironment> storm::InternalEnvironment::modelcheckerEnvironment

Definition at line 17 of file Environment.h.

solverEnvironment

SubEnvironment<SolverEnvironment> storm::InternalEnvironment::solverEnvironment

Definition at line 18 of file Environment.h.

---

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

• src/storm/environment/Environment.h