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

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

getMaximalNumberOfIterations() conststorm::NativeSolverEnvironment
getMethod() conststorm::NativeSolverEnvironment
getPowerMethodMultiplicationStyle() conststorm::NativeSolverEnvironment
getPrecision() conststorm::NativeSolverEnvironment
getRelativeTerminationCriterion() conststorm::NativeSolverEnvironment
getSorOmega() conststorm::NativeSolverEnvironment
isMethodSetFromDefault() conststorm::NativeSolverEnvironment
isSymmetricUpdatesSet() conststorm::NativeSolverEnvironment
NativeSolverEnvironment()storm::NativeSolverEnvironment
setMaximalNumberOfIterations(uint64_t value)storm::NativeSolverEnvironment
setMethod(storm::solver::NativeLinearEquationSolverMethod value)storm::NativeSolverEnvironment
setPowerMethodMultiplicationStyle(storm::solver::MultiplicationStyle value)storm::NativeSolverEnvironment
setPrecision(storm::RationalNumber value)storm::NativeSolverEnvironment
setRelativeTerminationCriterion(bool value)storm::NativeSolverEnvironment
setSorOmega(storm::RationalNumber const &value)storm::NativeSolverEnvironment
setSymmetricUpdates(bool value)storm::NativeSolverEnvironment
~NativeSolverEnvironment()storm::NativeSolverEnvironment