storm::settings::EnvironmentBuilder Class Reference

Builds a storm::Environment based on the currently registered settings. More...

#include <EnvironmentBuilder.h>

Public Member Functions
	EnvironmentBuilder ()=delete

Static Public Member Functions
static storm::Environment	buildEnvironment ()

Detailed Description

Builds a storm::Environment based on the currently registered settings.

The environment itself does not know about settings anymore; this class is the only place where (a subset of) the settings are translated into an environment.

Definition at line 14 of file EnvironmentBuilder.h.

Constructor & Destructor Documentation

EnvironmentBuilder()

storm::settings::EnvironmentBuilder::EnvironmentBuilder ( )

delete

Member Function Documentation

buildEnvironment()

storm::Environment storm::settings::EnvironmentBuilder::buildEnvironment ( )

static

Definition at line 64 of file EnvironmentBuilder.cpp.

---

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

• src/storm/settings/EnvironmentBuilder.h
• src/storm/settings/EnvironmentBuilder.cpp