Here is a list of all namespace members with links to the namespace documentation for each member:

- r -

• Rational : storm::pomdp
• RationalFunction : storm
• RationalFunctionVariable : storm
• RawPolynomial : storm
• RawPolynomialCache : storm
• reachability() : storm::logic
• readQvbsJsonFile() : storm::storage
• readValue() : storm::parser
• readValue< double >() : storm::parser
• reduceNestingInJaniExpression() : storm::jani
• reduceVector() : storm::utility::vector
• reduceVectorMax() : storm::utility::vector
• reduceVectorMin() : storm::utility::vector
• reduceVectorMinOrMax() : storm::utility::vector
• refineOption : storm::settings::modules
• regionBoundOptionName : storm::settings::modules
• RegionCheckEngine : storm::modelchecker
• regionOptionName : storm::settings::modules
• RegionResult : storm::modelchecker
• RegionResultHypothesis : storm::modelchecker
• regionShortOptionName : storm::settings::modules
• RelationType : storm::expressions
• requestedCoverageOptionName : storm::settings::modules
• requireNoUndefinedConstants() : storm::utility::jani, storm::utility::prism
• resetTimeoutAlarm() : storm::utility::resources
• resolutionOption : storm::settings::modules
• resolveBisimulationTypeChoice() : storm::storage
• reversePermutationInPlace() : storm::utility::permutation
• RewardFinitenessType : storm::modelchecker::multiobjective::preprocessing
• rotl32() : storm::storage
• rotl64() : storm::storage
• round() : storm::expressions, storm::utility
• rpatl() : storm::logic
• RSResult : storm::solver::helper
• runFeasibilityWithGD() : storm::pars
• runFeasibilityWithPLA() : storm::pars