Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::LongRunAverageSolverEnvironment Member List

This is the complete list of members for storm::LongRunAverageSolverEnvironment, including all inherited members.

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