storm::InternalEnvironment Struct Reference

#include <Environment.h>

Collaboration diagram for storm::InternalEnvironment:

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

Detailed Description

Definition at line 13 of file Environment.h.

Member Data Documentation

ddEnvironment

SubEnvironment<DdEnvironment> storm::InternalEnvironment::ddEnvironment

Definition at line 16 of file Environment.h.

modelcheckerEnvironment

SubEnvironment<ModelCheckerEnvironment> storm::InternalEnvironment::modelcheckerEnvironment

Definition at line 15 of file Environment.h.

solverEnvironment

SubEnvironment<SolverEnvironment> storm::InternalEnvironment::solverEnvironment

Definition at line 14 of file Environment.h.

---

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

• src/storm/environment/Environment.h