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

- r -

• random() : storm::utility::BernoulliDistributionGenerator, storm::utility::ExponentialDistributionGenerator, storm::utility::RandomProbabilityGenerator< ValueType >, storm::utility::RandomProbabilityGenerator< double >, storm::utility::RandomProbabilityGenerator< storm::RationalNumber >
• random_uint() : storm::utility::RandomProbabilityGenerator< ValueType >, storm::utility::RandomProbabilityGenerator< double >, storm::utility::RandomProbabilityGenerator< storm::RationalNumber >
• randomNextFailure() : storm::dft::simulator::DFTTraceSimulator< ValueType >
• RandomProbabilityGenerator() : storm::utility::RandomProbabilityGenerator< ValueType >, storm::utility::RandomProbabilityGenerator< double >, storm::utility::RandomProbabilityGenerator< storm::RationalNumber >
• randomStep() : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• RangeArgumentValidator() : storm::settings::RangeArgumentValidator< ValueType >
• rank() : storm::dft::storage::elements::DFTElement< ValueType >
• rate() : storm::dft::storage::elements::BEWeibull< ValueType >
• rational() : storm::expressions::ExpressionManager
• RationalFunctionConstructor() : storm::transformer::RationalFunctionConstructor
• RationalFunctionToExpression() : storm::expressions::RationalFunctionToExpression< ValueType >
• RationalLiteralExpression() : storm::expressions::RationalLiteralExpression
• RationalSearchHelper() : storm::solver::helper::RationalSearchHelper< TargetValueType, ExactValueType, ImpreciseValueType, TrivialRowGrouping >
• RawLpConstraint() : storm::solver::RawLpConstraint< ValueType >
• rbegin() : storm::storage::BitVector
• readAutomaton() : storm::logic::HOAPathFormula
• readFile() : storm::parser::JaniParser< ValueType >
• RebuildWithoutUnreachableAction() : storm::jani::elimination_actions::RebuildWithoutUnreachableAction
• reduce() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• reduceNesting() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::ReduceNestingVisitor
• ReduceNestingVisitor() : storm::expressions::ReduceNestingVisitor
• reduceToStateBasedRewards() : storm::models::ModelBase, storm::models::sparse::Ctmc< ValueType, RewardModelType >, storm::models::sparse::Dtmc< ValueType, RewardModelType >, storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::Ctmc< Type, ValueType >, storm::models::symbolic::Dtmc< Type, ValueType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• reduceVector() : storm::utility::VectorHelper< ValueType >
• ReduceVertexCloud() : storm::storage::geometry::ReduceVertexCloud< ValueType >
• refersToPlayer1Choice() : storm::gbar::abstraction::RefinementCommand
• refine() : storm::dd::bisimulation::InternalSignatureRefiner< storm::dd::DdType::CUDD, ValueType >, storm::dd::bisimulation::InternalSignatureRefiner< storm::dd::DdType::Sylvan, ValueType >, storm::dd::bisimulation::NondeterministicModelPartitionRefiner< DdType, ValueType >, storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >, storm::dd::bisimulation::SignatureRefiner< DdType, ValueType >, storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameRefiner< Type, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::StateSetAbstractor< DdType, ValueType >, storm::gbar::abstraction::ValidBlockAbstractor< DdType >, storm::parser::JaniParser< ValueType >::Scope
• refineAbstractModel() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• RefinementCommand() : storm::gbar::abstraction::RefinementCommand
• RefinementPredicates() : storm::gbar::abstraction::RefinementPredicates
• refinePartitionBasedOnSplitter() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::DeterministicModelBisimulationDecomposition< ModelType >, storm::storage::NondeterministicModelBisimulationDecomposition< ModelType >
• refineWrtRewardModel() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• refineWrtStateActionRewards() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• refineWrtStateRewards() : storm::dd::bisimulation::PartitionRefiner< DdType, ValueType >
• RegionBound() : storm::modelchecker::RegionBound< SparseModelType, ConstantType >
• RegionCheckResult() : storm::modelchecker::RegionCheckResult< ValueType >
• RegionModelChecker() : storm::modelchecker::RegionModelChecker< ParametricType >
• RegionRefinementCheckResult() : storm::modelchecker::RegionRefinementCheckResult< ValueType >
• RegionSettings() : storm::settings::modules::RegionSettings
• RegionVerificationSettings() : storm::settings::modules::RegionVerificationSettings
• registerArrayVariableReplacements() : storm::generator::TransientVariableInformation< ValueType >, storm::generator::VariableInformation
• registerLabel() : storm::transformer::detail::ChoiceLabelIdStorage
• registerTemplateEdge() : storm::jani::Automaton
• relate() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• relationalProduct() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• RelevantEvents() : storm::dft::utility::RelevantEvents
• relevantValues() : storm::solver::SolveGoal< ValueType, SolutionType >
• remap() : storm::storage::BitVectorHashMap< ValueType, Hash >
• remapChoiceIndices() : storm::ps::SubMDPPermissiveScheduler< RM >
• remapStateIds() : storm::generator::NextStateGenerator< ValueType, StateType >
• remove() : storm::jani::ModelFeatures, storm::jani::OrderedAssignments
• removeAssignment() : storm::jani::TemplateEdgeDestination
• removeBE() : storm::dft::storage::FailableElements
• removeBound() : storm::logic::OperatorFormula
• removeConstant() : storm::jani::Model
• removeDependency() : storm::dft::storage::FailableElements
• removeIdentityAssignments() : storm::prism::Update
• removeInhibitionArc() : storm::gspn::Transition
• removeInputArc() : storm::gspn::Transition
• removeLabel() : storm::models::sparse::ItemLabeling, storm::prism::Program
• removeLabelFromItem() : storm::models::sparse::ItemLabeling
• removeLabelFromState() : storm::models::sparse::StateLabeling
• removeMetaVariable() : storm::dd::Dd< LibraryType >
• removeMetaVariables() : storm::dd::Dd< LibraryType >
• removeOptimalityType() : storm::logic::OperatorFormula
• removeOutputArc() : storm::gspn::Transition
• removeProbability() : storm::storage::Distribution< ValueType, StateType >
• removeRewardModel() : storm::models::sparse::Model< CValueType, CRewardModelType >
• removeRewardModels() : storm::prism::Program
• removeState() : storm::storage::MaximalEndComponent
• removeUnexploredState() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• removeVariableInitialization() : storm::prism::Module
• renameVariables() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >
• renameVariablesAbstract() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >
• renameVariablesConcretize() : storm::dd::Bdd< LibraryType >
• RenamingComposition() : storm::prism::RenamingComposition
• rend() : storm::storage::BitVector
• repeatedMultiply() : storm::solver::GameSolver< ValueType >, storm::solver::Multiplier< ValueType >, storm::solver::StandardGameSolver< ValueType >
• repeatedMultiplyAndReduce() : storm::solver::Multiplier< ValueType >
• replace() : storm::jani::detail::ArrayVariableReplacer
• replaceAutomaton() : storm::jani::Model
• replaceColumns() : storm::storage::SparseMatrixBuilder< ValueType >
• replaceConstantByVariable() : storm::prism::Program
• Replacement() : storm::jani::ArrayEliminatorData::Replacement
• replacePartition() : storm::dd::bisimulation::Partition< DdType, ValueType >
• replaceUnassignedVariablesWithConstants() : storm::jani::Model
• replaceVariableInitializationByInitExpression() : storm::prism::Program
• reportStatus() : storm::solver::AbstractEquationSolver< ValueType >
• representativeState() : storm::storage::bisimulation::DeterministicBlockData
• requireAcyclic() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• requireBounds() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• requireLowerBounds() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• requireNoUndefinedConstants() : storm::storage::SymbolicModelDescription
• requiresGuarantee() : storm::derivative::SignedGradientDescentTerminationCondition< ValueType >, storm::solver::NoTerminationCondition< ValueType >, storm::solver::TerminateIfFilteredExtremumBelowThreshold< ValueType >, storm::solver::TerminateIfFilteredExtremumExceedsThreshold< ValueType >, storm::solver::TerminateIfFilteredSumExceedsThreshold< ValueType >, storm::solver::TerminationCondition< ValueType >
• requiresSchedulerSynthesis() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >
• requireUniqueSolution() : storm::solver::MinMaxLinearEquationSolverRequirements
• requireUpperBounds() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• requireValidInitialScheduler() : storm::solver::MinMaxLinearEquationSolverRequirements
• reserve() : storm::generator::Choice< ValueType, StateType >, storm::storage::Distribution< ValueType, StateType >
• reserveInRow() : storm::storage::FlexibleSparseMatrix< ValueType >
• reset() : storm::generator::BeliefSupportTracker< ValueType >, storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::OptionalRef< T >, storm::pomdp::InternalObservationScheduler, storm::pomdp::ObservationTraceUnfolder< ValueType >, storm::solver::MathsatSmtSolver, storm::solver::SmtlibSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver, storm::utility::Extremum< Dir, ValueType >, storm::utility::Stopwatch
• resetMarkers() : storm::storage::bisimulation::Block< DataType >, storm::storage::bisimulation::DeterministicBlockData
• resetMaxSplitDimensions() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >
• resetTerminationCondition() : storm::solver::AbstractEquationSolver< ValueType >
• resetToInitial() : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• resetToState() : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• resize() : storm::storage::BitVector
• ResourceSettings() : storm::settings::modules::ResourceSettings
• restart() : storm::utility::Stopwatch
• restartExploration() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• restoreDefaults() : storm::settings::modules::ModuleSettings
• restoreExplorationState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• restoreOldBehaviorAtCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• restrict() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• restrictActionIndices() : storm::prism::Module
• restrictActionRelatedRewards() : storm::prism::RewardModel
• restrictActions() : storm::models::sparse::StandardRewardModel< CValueType >
• restrictCommands() : storm::prism::Module, storm::prism::Program
• restrictEdges() : storm::jani::Model
• RestrictedParallelComposition() : storm::prism::RestrictedParallelComposition
• restrictionChecksDone() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• restrictions() : storm::dft::storage::elements::DFTElement< ValueType >
• restrictRelevantValues() : storm::solver::SolveGoal< ValueType, SolutionType >
• restrictRewardModels() : storm::models::sparse::Model< CValueType, CRewardModelType >
• restrictRows() : storm::storage::SparseMatrix< ValueType >
• RestrictSyntaxVisitor() : storm::expressions::RestrictSyntaxVisitor
• restrictToDimension() : storm::logic::BoundedUntilFormula, storm::logic::CumulativeRewardFormula
• restrictToEdges() : storm::jani::Automaton
• restrictToFeatures() : storm::jani::Model
• Result() : storm::parser::MarkovAutomatonSparseTransitionParser< ValueType >::Result, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result
• ResultType() : storm::jani::detail::ArrayExpressionEliminationVisitor::ResultType
• reusesActionsInComposition() : storm::jani::Model
• ReuseWrapper() : storm::dd::bisimulation::ReuseWrapper
• RewardAccumulation() : storm::logic::RewardAccumulation
• RewardAccumulationEliminationVisitor() : storm::logic::RewardAccumulationEliminationVisitor
• RewardBoundedMdpPcaaWeightVectorChecker() : storm::modelchecker::multiobjective::RewardBoundedMdpPcaaWeightVectorChecker< SparseMdpModelType >
• rewardModel() : storm::models::sparse::Model< CValueType, CRewardModelType >
• RewardModel() : storm::prism::RewardModel
• RewardModelBuilder() : storm::builder::RewardModelBuilder< ValueType >
• RewardModelInformation() : storm::builder::RewardModelInformation, storm::jani::RewardModelInformation
• RewardModelNameSubstitutionVisitor() : storm::logic::RewardModelNameSubstitutionVisitor
• rewardModelsWereRenamed() : storm::prism::ToJaniConverter
• RewardOperatorFormula() : storm::logic::RewardOperatorFormula
• rowHasDiagonalElement() : storm::storage::FlexibleSparseMatrix< ValueType >
• rows() : storm::storage::SparseMatrix< ValueType >::rows
• RS() : storm::solver::helper::RationalSearchHelper< TargetValueType, ExactValueType, ImpreciseValueType, TrivialRowGrouping >