Storm
A Modern Probabilistic Model Checker
|
#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 |
Definition at line 17 of file Environment.h.
storm::Environment::Environment | ( | ) |
Definition at line 8 of file Environment.cpp.
|
virtual |
Definition at line 12 of file Environment.cpp.
storm::Environment::Environment | ( | Environment const & | other | ) |
Definition at line 16 of file Environment.cpp.
ModelCheckerEnvironment & storm::Environment::modelchecker | ( | ) |
Definition at line 33 of file Environment.cpp.
ModelCheckerEnvironment const & storm::Environment::modelchecker | ( | ) | const |
Definition at line 37 of file Environment.cpp.
Environment & storm::Environment::operator= | ( | Environment const & | other | ) |
Definition at line 20 of file Environment.cpp.
SolverEnvironment & storm::Environment::solver | ( | ) |
Definition at line 25 of file Environment.cpp.
SolverEnvironment const & storm::Environment::solver | ( | ) | const |
Definition at line 29 of file Environment.cpp.