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

#include <ModelCheckerEnvironment.h>

Public Member Functions

 ModelCheckerEnvironment ()
 ~ModelCheckerEnvironment ()
ConditionalModelCheckerEnvironment & conditional ()
ConditionalModelCheckerEnvironment const & conditional () const
MultiObjectiveModelCheckerEnvironment & multi ()
MultiObjectiveModelCheckerEnvironment const & multi () const
SteadyStateDistributionAlgorithm getSteadyStateDistributionAlgorithm () const
void setSteadyStateDistributionAlgorithm (SteadyStateDistributionAlgorithm value)
bool isLtl2daToolSet () const
std::string const & getLtl2daTool () const
void setLtl2daTool (std::string const &value)
void unsetLtl2daTool ()
bool isFilterRewZeroSet () const
void setFilterRewZero (bool value)
bool isExportCdfSet () const
void setExportCdf (bool value)
std::string const & getExportCdfDirectory () const
void setExportCdfDirectory (std::string const &value)

Detailed Description

Definition at line 21 of file ModelCheckerEnvironment.h.

Constructor & Destructor Documentation

◆ ModelCheckerEnvironment()

storm::ModelCheckerEnvironment::ModelCheckerEnvironment ( )

Definition at line 14 of file ModelCheckerEnvironment.cpp.

◆ ~ModelCheckerEnvironment()

storm::ModelCheckerEnvironment::~ModelCheckerEnvironment ( )

Definition at line 23 of file ModelCheckerEnvironment.cpp.

Member Function Documentation

◆ conditional() [1/2]

ConditionalModelCheckerEnvironment & storm::ModelCheckerEnvironment::conditional ( )

Definition at line 27 of file ModelCheckerEnvironment.cpp.

◆ conditional() [2/2]

ConditionalModelCheckerEnvironment const & storm::ModelCheckerEnvironment::conditional ( ) const

Definition at line 31 of file ModelCheckerEnvironment.cpp.

◆ getExportCdfDirectory()

std::string const & storm::ModelCheckerEnvironment::getExportCdfDirectory ( ) const

Definition at line 83 of file ModelCheckerEnvironment.cpp.

◆ getLtl2daTool()

std::string const & storm::ModelCheckerEnvironment::getLtl2daTool ( ) const

Definition at line 55 of file ModelCheckerEnvironment.cpp.

◆ getSteadyStateDistributionAlgorithm()

SteadyStateDistributionAlgorithm storm::ModelCheckerEnvironment::getSteadyStateDistributionAlgorithm ( ) const

Definition at line 43 of file ModelCheckerEnvironment.cpp.

◆ isExportCdfSet()

bool storm::ModelCheckerEnvironment::isExportCdfSet ( ) const

Definition at line 75 of file ModelCheckerEnvironment.cpp.

◆ isFilterRewZeroSet()

bool storm::ModelCheckerEnvironment::isFilterRewZeroSet ( ) const

Definition at line 67 of file ModelCheckerEnvironment.cpp.

◆ isLtl2daToolSet()

bool storm::ModelCheckerEnvironment::isLtl2daToolSet ( ) const

Definition at line 51 of file ModelCheckerEnvironment.cpp.

◆ multi() [1/2]

MultiObjectiveModelCheckerEnvironment & storm::ModelCheckerEnvironment::multi ( )

Definition at line 35 of file ModelCheckerEnvironment.cpp.

◆ multi() [2/2]

MultiObjectiveModelCheckerEnvironment const & storm::ModelCheckerEnvironment::multi ( ) const

Definition at line 39 of file ModelCheckerEnvironment.cpp.

◆ setExportCdf()

void storm::ModelCheckerEnvironment::setExportCdf ( bool value)

Definition at line 79 of file ModelCheckerEnvironment.cpp.

◆ setExportCdfDirectory()

void storm::ModelCheckerEnvironment::setExportCdfDirectory ( std::string const & value)

Definition at line 87 of file ModelCheckerEnvironment.cpp.

◆ setFilterRewZero()

void storm::ModelCheckerEnvironment::setFilterRewZero ( bool value)

Definition at line 71 of file ModelCheckerEnvironment.cpp.

◆ setLtl2daTool()

void storm::ModelCheckerEnvironment::setLtl2daTool ( std::string const & value)

Definition at line 59 of file ModelCheckerEnvironment.cpp.

◆ setSteadyStateDistributionAlgorithm()

void storm::ModelCheckerEnvironment::setSteadyStateDistributionAlgorithm ( SteadyStateDistributionAlgorithm value)

Definition at line 47 of file ModelCheckerEnvironment.cpp.

◆ unsetLtl2daTool()

void storm::ModelCheckerEnvironment::unsetLtl2daTool ( )

Definition at line 63 of file ModelCheckerEnvironment.cpp.

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