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

#include <ConditionalModelCheckerEnvironment.h>

Public Member Functions

 ConditionalModelCheckerEnvironment ()
 ~ConditionalModelCheckerEnvironment ()
ConditionalAlgorithmSetting getAlgorithm () const
void setAlgorithm (ConditionalAlgorithmSetting value)
storm::RationalNumber getPrecision () const
bool isPrecisionSetFromDefault () const
void setPrecision (storm::RationalNumber const &value, bool setFromDefault)
bool isRelativePrecision () const
void setRelativePrecision (bool value)

Detailed Description

Definition at line 8 of file ConditionalModelCheckerEnvironment.h.

Constructor & Destructor Documentation

◆ ConditionalModelCheckerEnvironment()

storm::ConditionalModelCheckerEnvironment::ConditionalModelCheckerEnvironment ( )

Definition at line 8 of file ConditionalModelCheckerEnvironment.cpp.

◆ ~ConditionalModelCheckerEnvironment()

storm::ConditionalModelCheckerEnvironment::~ConditionalModelCheckerEnvironment ( )

Definition at line 16 of file ConditionalModelCheckerEnvironment.cpp.

Member Function Documentation

◆ getAlgorithm()

ConditionalAlgorithmSetting storm::ConditionalModelCheckerEnvironment::getAlgorithm ( ) const

Definition at line 20 of file ConditionalModelCheckerEnvironment.cpp.

◆ getPrecision()

storm::RationalNumber storm::ConditionalModelCheckerEnvironment::getPrecision ( ) const

Definition at line 28 of file ConditionalModelCheckerEnvironment.cpp.

◆ isPrecisionSetFromDefault()

bool storm::ConditionalModelCheckerEnvironment::isPrecisionSetFromDefault ( ) const

Definition at line 37 of file ConditionalModelCheckerEnvironment.cpp.

◆ isRelativePrecision()

bool storm::ConditionalModelCheckerEnvironment::isRelativePrecision ( ) const

Definition at line 41 of file ConditionalModelCheckerEnvironment.cpp.

◆ setAlgorithm()

void storm::ConditionalModelCheckerEnvironment::setAlgorithm ( ConditionalAlgorithmSetting value)

Definition at line 24 of file ConditionalModelCheckerEnvironment.cpp.

◆ setPrecision()

void storm::ConditionalModelCheckerEnvironment::setPrecision ( storm::RationalNumber const & value,
bool setFromDefault )

Definition at line 32 of file ConditionalModelCheckerEnvironment.cpp.

◆ setRelativePrecision()

void storm::ConditionalModelCheckerEnvironment::setRelativePrecision ( bool value)

Definition at line 45 of file ConditionalModelCheckerEnvironment.cpp.

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