Here is a list of all typedefs with links to the classes they belong to:

- r -

• RateType : storm::gspn::GSPN, storm::gspn::GspnBuilder
• Real : Eigen::NumTraits< storm::RationalNumber >
• reference : storm::dft::storage::FailableElements::const_iterator, storm::expressions::VariableIterator, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator
• Region : storm::analysis::MonotonicityChecker< ValueType >, storm::analysis::MonotonicityHelper< ValueType, ConstantType >
• Replacement : storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
• ReplMap : storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
• result_type : storm::parser::SpiritErrorHandler
• ReturnType : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessor< SparseModelType >
• RewardModelType : storm::gbar::abstraction::MenuGame< Type, ValueType >, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessor< SparseModelType >, storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectiveRewardAnalysis< SparseModelType >, storm::modelchecker::multiobjective::RewardBoundedMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::StandardMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SparsePropositionalModelChecker< SparseModelType >, storm::modelchecker::SparseSmgRpatlModelChecker< SparseSmgModelType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Ctmc< Type, ValueType >, storm::models::symbolic::DeterministicModel< Type, ValueType >, storm::models::symbolic::Dtmc< Type, ValueType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >, storm::models::symbolic::Mdp< Type, ValueType >, storm::models::symbolic::Model< Type, CValueType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >, storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::DeterministicModelBisimulationDecomposition< ModelType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >
• row_type : storm::storage::FlexibleSparseMatrix< ValueType >
• RowValueStorageType : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >