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

- r -

• randomGenerator : storm::dft::simulator::DFTTraceSimulator< ValueType >
• rate : storm::jani::ConditionalMetaEdge
• rateTransitions : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• rationalValues : storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >, storm::generator::TransientVariableValuation< ValueType >
• rationalVariableInformation : storm::generator::TransientVariableInformation< ValueType >
• reachableStates : storm::builder::ModelComponents< Type, ValueType >
• reachableTransitionsMax : storm::gbar::abstraction::PivotStateCandidatesResult< Type >
• reachableTransitionsMin : storm::gbar::abstraction::PivotStateCandidatesResult< Type >
• recursionStateStack : storm::storage::SccDecompositionMemoryCache
• refine : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• REFINEMENT_FLAG : storm::storage::bisimulation::DeterministicBlockData
• refinementPredicates : storm::gbar::abstraction::MenuGameRefinerOptions
• refinements : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• refinementSteps : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• refinePrecision : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• refineStepLimit : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• region : storm::modelchecker::RegionBound< SparseModelType, ConstantType >
• regionResults : storm::modelchecker::RegionCheckResult< ValueType >
• relationType : storm::solver::RawLpConstraint< ValueType >
• relevantValues : storm::solver::AbstractEquationSolver< ValueType >
• replacements : storm::jani::ArrayEliminatorData
• replaceUnassignedVariablesWithConstants : storm::converter::JaniConversionOptions
• representation : storm::models::GetModelRepresentation< storm::dd::DdType::CUDD >, storm::models::GetModelRepresentation< storm::dd::DdType::Sylvan >
• Representation : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• representative : storm::dft::storage::DftModule
• representatives : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• requirementsChecked : storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• resizeFlag : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• resolutionFactor : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• resolutionInit : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• respectedAtomicPropositions : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• restartAfterNIterations : storm::pomdp::MemlessSearchOptions
• restrictionCandidates : storm::dft::storage::BijectionCandidates< ValueType >
• reuseBlockNumbers : storm::dd::bisimulation::InternalSignatureRefinerOptions
• reward0AStates : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectiveRewardAnalysis< SparseModelType >::ReturnType
• reward0EStates : storm::modelchecker::multiobjective::SparseCbQuery< SparseModelType >
• REWARD_FLAG : storm::storage::bisimulation::DeterministicBlockData
• rewardFinitenessType : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectiveRewardAnalysis< SparseModelType >::ReturnType
• rewardModels : storm::builder::ModelComponents< Type, ValueType >, storm::jani::JaniLocalEliminator::Session, storm::parser::GlobalProgramInformation, storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• rewardModelsToBuild : storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::builder::DdPrismModelBuilder< Type, ValueType >::Options
• rewardName : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::CexInput
• rewards : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• rewardZeroStates : storm::modelchecker::helper::QualitativeStateSetsReachabilityRewards
• rhs : storm::solver::RawLpConstraint< ValueType >
• right : storm::utility::numerical::FoxGlynnResult< ValueType >
• rotation : storm::gspn::LayoutInfo
• row : storm::transformer::StateWithRow
• rowColumnMetaVariablePairs : storm::builder::CompositionVariables< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >, storm::solver::SymbolicGameSolver< Type, ValueType >, storm::solver::SymbolicLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• rowExpressionAdapter : storm::builder::CompositionVariables< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >
• rowMetaVariables : storm::builder::CompositionVariables< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >, storm::solver::SymbolicGameSolver< Type, ValueType >, storm::solver::SymbolicLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• rowPermutation : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• rowsWithSumLessOne : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >::EcQuotient
• rowToState : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• rowValues : storm::solver::stateelimination::NondeterministicModelStateEliminator< ValueType >
• rowVariables : storm::dd::bisimulation::InternalRepresentativeComputerBase< DdType >
• rowVariablesCube : storm::dd::bisimulation::InternalRepresentativeComputerBase< DdType >, storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >