storm::Environment Class Reference

#include <Environment.h>

Public Member Functions
	Environment ()
virtual	~Environment ()
	Environment (Environment const &other)
Environment &	operator= (Environment const &other)
DdEnvironment &	dd ()
DdEnvironment const &	dd () const
ExplorationEnvironment &	exploration ()
ExplorationEnvironment const &	exploration () const
ModelCheckerEnvironment &	modelchecker ()
ModelCheckerEnvironment const &	modelchecker () const
SolverEnvironment &	solver ()
SolverEnvironment const &	solver () const
double	modelTolerance () const
void	setModelTolerance (double value)

Static Public Attributes
static constexpr double	DefaultModelTolerance = 1e-09
	The default tolerance up to which probabilities and rates are considered equal.

Detailed Description

Definition at line 21 of file Environment.h.

Constructor & Destructor Documentation

Environment() [1/2]

storm::Environment::Environment

(

)

Definition at line 10 of file Environment.cpp.

~Environment()

storm::Environment::~Environment ( )

virtual

Definition at line 14 of file Environment.cpp.

Environment() [2/2]

storm::Environment::Environment

(

Environment const &

other

)

Definition at line 18 of file Environment.cpp.

Member Function Documentation

dd() [1/2]

DdEnvironment & storm::Environment::dd

(

)

Definition at line 28 of file Environment.cpp.

dd() [2/2]

DdEnvironment const & storm::Environment::dd

(

)

const

Definition at line 32 of file Environment.cpp.

exploration() [1/2]

ExplorationEnvironment & storm::Environment::exploration

(

)

Definition at line 36 of file Environment.cpp.

exploration() [2/2]

ExplorationEnvironment const & storm::Environment::exploration

(

)

const

Definition at line 40 of file Environment.cpp.

modelchecker() [1/2]

ModelCheckerEnvironment & storm::Environment::modelchecker

(

)

Definition at line 44 of file Environment.cpp.

modelchecker() [2/2]

ModelCheckerEnvironment const & storm::Environment::modelchecker

(

)

const

Definition at line 48 of file Environment.cpp.

modelTolerance()

double storm::Environment::modelTolerance

(

)

const

Definition at line 60 of file Environment.cpp.

operator=()

Environment & storm::Environment::operator=

(

Environment const &

other

)

Definition at line 22 of file Environment.cpp.

setModelTolerance()

void storm::Environment::setModelTolerance

(

double

value

)

Definition at line 64 of file Environment.cpp.

solver() [1/2]

SolverEnvironment & storm::Environment::solver

(

)

Definition at line 52 of file Environment.cpp.

solver() [2/2]

SolverEnvironment const & storm::Environment::solver

(

)

const

Definition at line 56 of file Environment.cpp.

Member Data Documentation

DefaultModelTolerance

double storm::Environment::DefaultModelTolerance = 1e-09

staticconstexpr

The default tolerance up to which probabilities and rates are considered equal.

This is the initial value of modelTolerance() as well as the stochastic tolerance a sparse model falls back to when its components do not specify one.

Definition at line 42 of file Environment.h.

---

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

• src/storm/environment/Environment.h
• src/storm/environment/Environment.cpp