storm::Environment Class Reference

#include <Environment.h>

Public Member Functions
	Environment ()
virtual	~Environment ()
	Environment (Environment const &other)
Environment &	operator= (Environment const &other)
SolverEnvironment &	solver ()
SolverEnvironment const &	solver () const
ModelCheckerEnvironment &	modelchecker ()
ModelCheckerEnvironment const &	modelchecker () const
DdEnvironment &	dd ()
DdEnvironment const &	dd () const

Detailed Description

Definition at line 19 of file Environment.h.

Constructor & Destructor Documentation

Environment() [1/2]

storm::Environment::Environment

(

)

Definition at line 9 of file Environment.cpp.

~Environment()

storm::Environment::~Environment ( )

virtual

Definition at line 13 of file Environment.cpp.

Environment() [2/2]

storm::Environment::Environment

(

Environment const &

other

)

Definition at line 17 of file Environment.cpp.

Member Function Documentation

dd() [1/2]

DdEnvironment & storm::Environment::dd

(

)

Definition at line 42 of file Environment.cpp.

dd() [2/2]

DdEnvironment const & storm::Environment::dd

(

)

const

Definition at line 46 of file Environment.cpp.

modelchecker() [1/2]

ModelCheckerEnvironment & storm::Environment::modelchecker

(

)

Definition at line 34 of file Environment.cpp.

modelchecker() [2/2]

ModelCheckerEnvironment const & storm::Environment::modelchecker

(

)

const

Definition at line 38 of file Environment.cpp.

operator=()

Environment & storm::Environment::operator=

(

Environment const &

other

)

Definition at line 21 of file Environment.cpp.

solver() [1/2]

SolverEnvironment & storm::Environment::solver

(

)

Definition at line 26 of file Environment.cpp.

solver() [2/2]

SolverEnvironment const & storm::Environment::solver

(

)

const

Definition at line 30 of file Environment.cpp.

---

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

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