Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
storm::Environment Class Reference

#include <Environment.h>

Public Member Functions

 Environment ()
 
virtual ~Environment ()
 
 Environment (Environment const &other)
 
Environmentoperator= (Environment const &other)
 
SolverEnvironmentsolver ()
 
SolverEnvironment const & solver () const
 
ModelCheckerEnvironmentmodelchecker ()
 
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: