Here is a list of all namespace functions with links to the namespace documentation for each function:

- r -

• 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
• requireNoUndefinedConstants() : storm::utility::jani, storm::utility::prism
• resetTimeoutAlarm() : storm::utility::resources
• resolveBisimulationTypeChoice() : storm::storage
• reversePermutationInPlace() : storm::utility::permutation
• rotl32() : storm::storage
• rotl64() : storm::storage
• round() : storm::expressions, storm::utility
• rpatl() : storm::logic
• runFeasibilityWithGD() : storm::pars
• runFeasibilityWithPLA() : storm::pars