storm::InternalEnvironment Struct Reference

#include <Environment.h>

Collaboration diagram for storm::InternalEnvironment:

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

Detailed Description

Definition at line 12 of file Environment.h.

Member Data Documentation

modelcheckerEnvironment

SubEnvironment<ModelCheckerEnvironment> storm::InternalEnvironment::modelcheckerEnvironment

Definition at line 14 of file Environment.h.

solverEnvironment

SubEnvironment<SolverEnvironment> storm::InternalEnvironment::solverEnvironment

Definition at line 13 of file Environment.h.

---

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

• src/storm/environment/Environment.h