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

Environment configuring the DFT analysis. More...

#include <AnalysisEnvironment.h>

Public Member Functions

 AnalysisEnvironment ()
 ~AnalysisEnvironment ()
bool isUseModularisation () const
void setUseModularisation (bool value)
bool isSolveWithSMT () const
void setSolveWithSMT (bool value)
size_t getChunksize () const
void setChunksize (size_t value)
double getMttfPrecision () const
void setMttfPrecision (double value)
double getMttfStepsize () const
void setMttfStepsize (double value)
std::string const & getMttfAlgorithm () const
void setMttfAlgorithm (std::string const &value)
bool isApproximationErrorSet () const
double getApproximationError () const
void setApproximationError (double value)
void unsetApproximationError ()
storm::dft::builder::ApproximationHeuristic getApproximationHeuristic () const
void setApproximationHeuristic (storm::dft::builder::ApproximationHeuristic value)

Detailed Description

Environment configuring the DFT analysis.

Definition at line 16 of file AnalysisEnvironment.h.

Constructor & Destructor Documentation

◆ AnalysisEnvironment()

storm::dft::AnalysisEnvironment::AnalysisEnvironment ( )

Definition at line 8 of file AnalysisEnvironment.cpp.

◆ ~AnalysisEnvironment()

storm::dft::AnalysisEnvironment::~AnalysisEnvironment ( )
default

Member Function Documentation

◆ getApproximationError()

double storm::dft::AnalysisEnvironment::getApproximationError ( ) const

Definition at line 73 of file AnalysisEnvironment.cpp.

◆ getApproximationHeuristic()

storm::dft::builder::ApproximationHeuristic storm::dft::AnalysisEnvironment::getApproximationHeuristic ( ) const

Definition at line 86 of file AnalysisEnvironment.cpp.

◆ getChunksize()

size_t storm::dft::AnalysisEnvironment::getChunksize ( ) const

Definition at line 37 of file AnalysisEnvironment.cpp.

◆ getMttfAlgorithm()

std::string const & storm::dft::AnalysisEnvironment::getMttfAlgorithm ( ) const

Definition at line 61 of file AnalysisEnvironment.cpp.

◆ getMttfPrecision()

double storm::dft::AnalysisEnvironment::getMttfPrecision ( ) const

Definition at line 45 of file AnalysisEnvironment.cpp.

◆ getMttfStepsize()

double storm::dft::AnalysisEnvironment::getMttfStepsize ( ) const

Definition at line 53 of file AnalysisEnvironment.cpp.

◆ isApproximationErrorSet()

bool storm::dft::AnalysisEnvironment::isApproximationErrorSet ( ) const

Definition at line 69 of file AnalysisEnvironment.cpp.

◆ isSolveWithSMT()

bool storm::dft::AnalysisEnvironment::isSolveWithSMT ( ) const

Definition at line 29 of file AnalysisEnvironment.cpp.

◆ isUseModularisation()

bool storm::dft::AnalysisEnvironment::isUseModularisation ( ) const

Definition at line 21 of file AnalysisEnvironment.cpp.

◆ setApproximationError()

void storm::dft::AnalysisEnvironment::setApproximationError ( double value)

Definition at line 78 of file AnalysisEnvironment.cpp.

◆ setApproximationHeuristic()

void storm::dft::AnalysisEnvironment::setApproximationHeuristic ( storm::dft::builder::ApproximationHeuristic value)

Definition at line 90 of file AnalysisEnvironment.cpp.

◆ setChunksize()

void storm::dft::AnalysisEnvironment::setChunksize ( size_t value)

Definition at line 41 of file AnalysisEnvironment.cpp.

◆ setMttfAlgorithm()

void storm::dft::AnalysisEnvironment::setMttfAlgorithm ( std::string const & value)

Definition at line 65 of file AnalysisEnvironment.cpp.

◆ setMttfPrecision()

void storm::dft::AnalysisEnvironment::setMttfPrecision ( double value)

Definition at line 49 of file AnalysisEnvironment.cpp.

◆ setMttfStepsize()

void storm::dft::AnalysisEnvironment::setMttfStepsize ( double value)

Definition at line 57 of file AnalysisEnvironment.cpp.

◆ setSolveWithSMT()

void storm::dft::AnalysisEnvironment::setSolveWithSMT ( bool value)

Definition at line 33 of file AnalysisEnvironment.cpp.

◆ setUseModularisation()

void storm::dft::AnalysisEnvironment::setUseModularisation ( bool value)

Definition at line 25 of file AnalysisEnvironment.cpp.

◆ unsetApproximationError()

void storm::dft::AnalysisEnvironment::unsetApproximationError ( )

Definition at line 82 of file AnalysisEnvironment.cpp.

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