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

Detailed Description

Definition at line 17 of file Environment.h.

Constructor & Destructor Documentation

Environment() [1/2]

storm::Environment::Environment

(

)

Definition at line 8 of file Environment.cpp.

~Environment()

storm::Environment::~Environment ( )

virtual

Definition at line 12 of file Environment.cpp.

Environment() [2/2]

storm::Environment::Environment

(

Environment const &

other

)

Definition at line 16 of file Environment.cpp.

Member Function Documentation

modelchecker() [1/2]

ModelCheckerEnvironment & storm::Environment::modelchecker

(

)

Definition at line 33 of file Environment.cpp.

modelchecker() [2/2]

ModelCheckerEnvironment const & storm::Environment::modelchecker

(

)

const

Definition at line 37 of file Environment.cpp.

operator=()

Environment & storm::Environment::operator=

(

Environment const &

other

)

Definition at line 20 of file Environment.cpp.

solver() [1/2]

SolverEnvironment & storm::Environment::solver

(

)

Definition at line 25 of file Environment.cpp.

solver() [2/2]

SolverEnvironment const & storm::Environment::solver

(

)

const

Definition at line 29 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