Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
Public Member Functions | List of all members
storm::LongRunAverageSolverEnvironment Class Reference

#include <LongRunAverageSolverEnvironment.h>

Public Member Functions

 LongRunAverageSolverEnvironment ()
 
 ~LongRunAverageSolverEnvironment ()
 
storm::solver::LraMethod const & getDetLraMethod () const
 
bool const & isDetLraMethodSetFromDefault () const
 
void setDetLraMethod (storm::solver::LraMethod value, bool isSetFromDefault=false)
 
storm::solver::LraMethod const & getNondetLraMethod () const
 
bool const & isNondetLraMethodSetFromDefault () const
 
void setNondetLraMethod (storm::solver::LraMethod value, bool isSetFromDefault=false)
 
storm::RationalNumber const & getPrecision () const
 
void setPrecision (storm::RationalNumber value)
 
bool const & getRelativeTerminationCriterion () const
 
void setRelativeTerminationCriterion (bool value)
 
bool isMaximalIterationCountSet () const
 
uint64_t getMaximalIterationCount () const
 
void setMaximalIterationCount (uint64_t value)
 
void unsetMaximalIterationCount ()
 
storm::RationalNumber const & getAperiodicFactor () const
 
void setAperiodicFactor (storm::RationalNumber value)
 

Detailed Description

Definition at line 9 of file LongRunAverageSolverEnvironment.h.

Constructor & Destructor Documentation

◆ LongRunAverageSolverEnvironment()

storm::LongRunAverageSolverEnvironment::LongRunAverageSolverEnvironment ( )

Definition at line 10 of file LongRunAverageSolverEnvironment.cpp.

◆ ~LongRunAverageSolverEnvironment()

storm::LongRunAverageSolverEnvironment::~LongRunAverageSolverEnvironment ( )

Definition at line 24 of file LongRunAverageSolverEnvironment.cpp.

Member Function Documentation

◆ getAperiodicFactor()

storm::RationalNumber const & storm::LongRunAverageSolverEnvironment::getAperiodicFactor ( ) const

Definition at line 86 of file LongRunAverageSolverEnvironment.cpp.

◆ getDetLraMethod()

storm::solver::LraMethod const & storm::LongRunAverageSolverEnvironment::getDetLraMethod ( ) const

Definition at line 28 of file LongRunAverageSolverEnvironment.cpp.

◆ getMaximalIterationCount()

uint64_t storm::LongRunAverageSolverEnvironment::getMaximalIterationCount ( ) const

Definition at line 74 of file LongRunAverageSolverEnvironment.cpp.

◆ getNondetLraMethod()

storm::solver::LraMethod const & storm::LongRunAverageSolverEnvironment::getNondetLraMethod ( ) const

Definition at line 41 of file LongRunAverageSolverEnvironment.cpp.

◆ getPrecision()

storm::RationalNumber const & storm::LongRunAverageSolverEnvironment::getPrecision ( ) const

Definition at line 54 of file LongRunAverageSolverEnvironment.cpp.

◆ getRelativeTerminationCriterion()

bool const & storm::LongRunAverageSolverEnvironment::getRelativeTerminationCriterion ( ) const

Definition at line 62 of file LongRunAverageSolverEnvironment.cpp.

◆ isDetLraMethodSetFromDefault()

bool const & storm::LongRunAverageSolverEnvironment::isDetLraMethodSetFromDefault ( ) const

Definition at line 32 of file LongRunAverageSolverEnvironment.cpp.

◆ isMaximalIterationCountSet()

bool storm::LongRunAverageSolverEnvironment::isMaximalIterationCountSet ( ) const

Definition at line 70 of file LongRunAverageSolverEnvironment.cpp.

◆ isNondetLraMethodSetFromDefault()

bool const & storm::LongRunAverageSolverEnvironment::isNondetLraMethodSetFromDefault ( ) const

Definition at line 45 of file LongRunAverageSolverEnvironment.cpp.

◆ setAperiodicFactor()

void storm::LongRunAverageSolverEnvironment::setAperiodicFactor ( storm::RationalNumber  value)

Definition at line 90 of file LongRunAverageSolverEnvironment.cpp.

◆ setDetLraMethod()

void storm::LongRunAverageSolverEnvironment::setDetLraMethod ( storm::solver::LraMethod  value,
bool  isSetFromDefault = false 
)

Definition at line 36 of file LongRunAverageSolverEnvironment.cpp.

◆ setMaximalIterationCount()

void storm::LongRunAverageSolverEnvironment::setMaximalIterationCount ( uint64_t  value)

Definition at line 78 of file LongRunAverageSolverEnvironment.cpp.

◆ setNondetLraMethod()

void storm::LongRunAverageSolverEnvironment::setNondetLraMethod ( storm::solver::LraMethod  value,
bool  isSetFromDefault = false 
)

Definition at line 49 of file LongRunAverageSolverEnvironment.cpp.

◆ setPrecision()

void storm::LongRunAverageSolverEnvironment::setPrecision ( storm::RationalNumber  value)

Definition at line 58 of file LongRunAverageSolverEnvironment.cpp.

◆ setRelativeTerminationCriterion()

void storm::LongRunAverageSolverEnvironment::setRelativeTerminationCriterion ( bool  value)

Definition at line 66 of file LongRunAverageSolverEnvironment.cpp.

◆ unsetMaximalIterationCount()

void storm::LongRunAverageSolverEnvironment::unsetMaximalIterationCount ( )

Definition at line 82 of file LongRunAverageSolverEnvironment.cpp.

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