storm::dft::InternalEnvironment Struct Reference

#include <DftEnvironment.h>

Collaboration diagram for storm::dft::InternalEnvironment:

Public Attributes
SubEnvironment< storm::Environment >	coreEnvironment
SubEnvironment< AnalysisEnvironment >	analysisEnvironment
SubEnvironment< ModelBuilderEnvironment >	modelBuilderEnvironment
SubEnvironment< TransformationEnvironment >	transformationEnvironment

Detailed Description

Definition at line 15 of file DftEnvironment.h.

Member Data Documentation

analysisEnvironment

SubEnvironment<AnalysisEnvironment> storm::dft::InternalEnvironment::analysisEnvironment

Definition at line 17 of file DftEnvironment.h.

coreEnvironment

SubEnvironment<storm::Environment> storm::dft::InternalEnvironment::coreEnvironment

Definition at line 16 of file DftEnvironment.h.

modelBuilderEnvironment

SubEnvironment<ModelBuilderEnvironment> storm::dft::InternalEnvironment::modelBuilderEnvironment

Definition at line 18 of file DftEnvironment.h.

transformationEnvironment

SubEnvironment<TransformationEnvironment> storm::dft::InternalEnvironment::transformationEnvironment

Definition at line 19 of file DftEnvironment.h.

---

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

• src/storm-dft/environment/DftEnvironment.h