Storm 1.13.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 ()

Detailed Description

Definition at line 16 of file ModelCheckerEnvironment.h.

Constructor & Destructor Documentation

◆ ModelCheckerEnvironment()

storm::ModelCheckerEnvironment::ModelCheckerEnvironment ( )

Definition at line 16 of file ModelCheckerEnvironment.cpp.

◆ ~ModelCheckerEnvironment()

storm::ModelCheckerEnvironment::~ModelCheckerEnvironment ( )

Definition at line 25 of file ModelCheckerEnvironment.cpp.

Member Function Documentation

◆ conditional() [1/2]

ConditionalModelCheckerEnvironment & storm::ModelCheckerEnvironment::conditional ( )

Definition at line 29 of file ModelCheckerEnvironment.cpp.

◆ conditional() [2/2]

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

Definition at line 33 of file ModelCheckerEnvironment.cpp.

◆ getLtl2daTool()

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

Definition at line 57 of file ModelCheckerEnvironment.cpp.

◆ getSteadyStateDistributionAlgorithm()

SteadyStateDistributionAlgorithm storm::ModelCheckerEnvironment::getSteadyStateDistributionAlgorithm ( ) const

Definition at line 37 of file ModelCheckerEnvironment.cpp.

◆ isLtl2daToolSet()

bool storm::ModelCheckerEnvironment::isLtl2daToolSet ( ) const

Definition at line 53 of file ModelCheckerEnvironment.cpp.

◆ multi() [1/2]

MultiObjectiveModelCheckerEnvironment & storm::ModelCheckerEnvironment::multi ( )

Definition at line 45 of file ModelCheckerEnvironment.cpp.

◆ multi() [2/2]

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

Definition at line 49 of file ModelCheckerEnvironment.cpp.

◆ setLtl2daTool()

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

Definition at line 61 of file ModelCheckerEnvironment.cpp.

◆ setSteadyStateDistributionAlgorithm()

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

Definition at line 41 of file ModelCheckerEnvironment.cpp.

◆ unsetLtl2daTool()

void storm::ModelCheckerEnvironment::unsetLtl2daTool ( )

Definition at line 65 of file ModelCheckerEnvironment.cpp.

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