Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::dft::DftEnvironment Class Reference

Environment for storm-dft. More...

#include <DftEnvironment.h>

Public Member Functions

 DftEnvironment ()
virtual ~DftEnvironment ()
 DftEnvironment (DftEnvironment const &other)
DftEnvironment & operator= (DftEnvironment const &other)
storm::Environment & core ()
storm::Environment const & core () const
AnalysisEnvironment & analysis ()
AnalysisEnvironment const & analysis () const
ModelBuilderEnvironment & modelBuilder ()
ModelBuilderEnvironment const & modelBuilder () const
TransformationEnvironment & transformation ()
TransformationEnvironment const & transformation () const

Detailed Description

Environment for storm-dft.

Combines the core storm::Environment with DFT-specific configuration.

Definition at line 39 of file DftEnvironment.h.

Constructor & Destructor Documentation

◆ DftEnvironment() [1/2]

storm::dft::DftEnvironment::DftEnvironment ( )

Definition at line 10 of file DftEnvironment.cpp.

◆ ~DftEnvironment()

storm::dft::DftEnvironment::~DftEnvironment ( )
virtual

Definition at line 14 of file DftEnvironment.cpp.

◆ DftEnvironment() [2/2]

storm::dft::DftEnvironment::DftEnvironment ( DftEnvironment const & other)

Definition at line 18 of file DftEnvironment.cpp.

Member Function Documentation

◆ analysis() [1/2]

AnalysisEnvironment & storm::dft::DftEnvironment::analysis ( )

Definition at line 35 of file DftEnvironment.cpp.

◆ analysis() [2/2]

AnalysisEnvironment const & storm::dft::DftEnvironment::analysis ( ) const

Definition at line 39 of file DftEnvironment.cpp.

◆ core() [1/2]

storm::Environment & storm::dft::DftEnvironment::core ( )

Definition at line 27 of file DftEnvironment.cpp.

◆ core() [2/2]

storm::Environment const & storm::dft::DftEnvironment::core ( ) const

Definition at line 31 of file DftEnvironment.cpp.

◆ modelBuilder() [1/2]

ModelBuilderEnvironment & storm::dft::DftEnvironment::modelBuilder ( )

Definition at line 43 of file DftEnvironment.cpp.

◆ modelBuilder() [2/2]

ModelBuilderEnvironment const & storm::dft::DftEnvironment::modelBuilder ( ) const

Definition at line 47 of file DftEnvironment.cpp.

◆ operator=()

DftEnvironment & storm::dft::DftEnvironment::operator= ( DftEnvironment const & other)

Definition at line 22 of file DftEnvironment.cpp.

◆ transformation() [1/2]

TransformationEnvironment & storm::dft::DftEnvironment::transformation ( )

Definition at line 51 of file DftEnvironment.cpp.

◆ transformation() [2/2]

TransformationEnvironment const & storm::dft::DftEnvironment::transformation ( ) const

Definition at line 55 of file DftEnvironment.cpp.

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