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

- d -

• d() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• DAProduct() : storm::transformer::DAProduct< Model >
• DAProductBuilder() : storm::transformer::DAProductBuilder
• data() : storm::storage::bisimulation::Block< DataType >
• Dd() : storm::dd::Dd< LibraryType >
• DdManager() : storm::dd::DdManager< LibraryType >
• debugCheck() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• DebugSettings() : storm::settings::modules::DebugSettings
• declareArrayVariable() : storm::expressions::ExpressionManager
• declareBitVectorVariable() : storm::expressions::ExpressionManager
• declareBooleanVariable() : storm::expressions::ExpressionManager
• declareFreshBooleanVariable() : storm::expressions::ExpressionManager
• declareFreshIntegerVariable() : storm::expressions::ExpressionManager
• declareFreshRationalVariable() : storm::expressions::ExpressionManager
• declareFreshVariable() : storm::expressions::ExpressionManager
• declareIntegerVariable() : storm::expressions::ExpressionManager
• declareNewVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• declareOrGetExpressionVariable() : storm::solver::LpSolver< ValueType, RawMode >
• declareOrGetVariable() : storm::expressions::ExpressionManager
• declareRationalVariable() : storm::expressions::ExpressionManager
• declareVariable() : storm::expressions::ExpressionManager
• declareVariableCopy() : storm::expressions::ExpressionManager
• declareVariables() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• declaringAutomaton() : storm::jani::detail::ArrayEliminatorDataCollector
• decodeAutomatonAndEdgeIndices() : storm::jani::Model
• decodeAux() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodeChoice() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodeChoicesToUpdateSuccessorMapping() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodeChoiceToUpdateSuccessorMapping() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodeGroupLabels() : storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• decodePlayer1Choice() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodePlayer2Choice() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodeState() : storm::gbar::abstraction::AbstractionInformation< DdType >
• decodeStatePlayer1ChoiceAndUpdate() : storm::gbar::abstraction::AbstractionInformation< DdType >
• Decomposition() : storm::storage::Decomposition< BlockType >
• decreaseScope() : storm::adapters::Smt2ExpressionAdapter
• decrementMarker1() : storm::storage::bisimulation::DeterministicBlockData
• decrementMarker2() : storm::storage::bisimulation::DeterministicBlockData
• define() : storm::jani::Constant
• defineUndefinedConstants() : storm::jani::Model, storm::prism::Program
• deleteDiagonalEntries() : storm::storage::SparseMatrix< ValueType >
• DependencyPair() : storm::dft::modelchecker::DependencyPair
• dependencySuccessful() : storm::dft::storage::DFTState< ValueType >
• dependencyTriggered() : storm::dft::storage::DFTState< ValueType >
• dependencyUnsuccessful() : storm::dft::storage::DFTState< ValueType >
• dependentEvents() : storm::dft::storage::elements::DFTDependency< ValueType >
• DereferenceIteratorAdapter() : storm::adapters::DereferenceIteratorAdapter< ContainerType >
• DerivativeSettings() : storm::settings::modules::DerivativeSettings
• description() : storm::dft::modelchecker::SmtConstraint
• DeterministicAutomaton() : storm::automata::DeterministicAutomaton
• DeterministicBlockData() : storm::storage::bisimulation::DeterministicBlockData
• DeterministicModel() : storm::models::sparse::DeterministicModel< ValueType, RewardModelType >, storm::models::symbolic::DeterministicModel< Type, ValueType >
• DeterministicModelBisimulationDecomposition() : storm::storage::DeterministicModelBisimulationDecomposition< ModelType >
• DeterministicSchedsAchievabilityChecker() : storm::modelchecker::multiobjective::DeterministicSchedsAchievabilityChecker< SparseModelType, GeometryValueType >
• DeterministicSchedsLpChecker() : storm::modelchecker::multiobjective::DeterministicSchedsLpChecker< ModelType, GeometryValueType >
• DeterministicSchedsObjectiveHelper() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• DeterministicSchedsParetoExplorer() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >
• DeterministicTransition() : storm::storage::DeterministicTransition< ProbabilityType >
• DFT() : storm::dft::storage::DFT< ValueType >
• DFTAnd() : storm::dft::storage::elements::DFTAnd< ValueType >
• DFTASFChecker() : storm::dft::modelchecker::DFTASFChecker
• DFTBE() : storm::dft::storage::elements::DFTBE< ValueType >
• DFTBuilder() : storm::dft::builder::DFTBuilder< ValueType >
• DFTChildren() : storm::dft::storage::elements::DFTChildren< ValueType >
• DFTColouring() : storm::dft::storage::DFTColouring< ValueType >
• DFTDependency() : storm::dft::storage::elements::DFTDependency< ValueType >
• DFTElement() : storm::dft::storage::elements::DFTElement< ValueType >
• DFTExplorationHeuristic() : storm::dft::builder::DFTExplorationHeuristic< ValueType >
• DFTExplorationHeuristicBoundDifference() : storm::dft::builder::DFTExplorationHeuristicBoundDifference< ValueType >
• DFTExplorationHeuristicDepth() : storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >
• DFTExplorationHeuristicProbability() : storm::dft::builder::DFTExplorationHeuristicProbability< ValueType >
• DFTGate() : storm::dft::storage::elements::DFTGate< ValueType >
• DftGspnSettings() : storm::dft::settings::modules::DftGspnSettings
• DftIndependentModule() : storm::dft::storage::DftIndependentModule
• DftInstantiator() : storm::dft::transformations::DftInstantiator< ParametricType, ConstantType >
• DftIOSettings() : storm::dft::settings::modules::DftIOSettings
• DFTIsomorphismCheck() : storm::dft::storage::DFTIsomorphismCheck< ValueType >
• DFTLayoutInfo() : storm::dft::storage::DFTLayoutInfo
• DFTModelChecker() : storm::dft::modelchecker::DFTModelChecker< ValueType >
• DftModularizationChecker() : storm::dft::modelchecker::DftModularizationChecker< ValueType >
• DftModularizer() : storm::dft::utility::DftModularizer< ValueType >
• DftModule() : storm::dft::storage::DftModule
• DFTMutex() : storm::dft::storage::elements::DFTMutex< ValueType >
• DftNextStateGenerator() : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >
• DFTOr() : storm::dft::storage::elements::DFTOr< ValueType >
• DFTPand() : storm::dft::storage::elements::DFTPand< ValueType >
• DFTPor() : storm::dft::storage::elements::DFTPor< ValueType >
• DFTRestriction() : storm::dft::storage::elements::DFTRestriction< ValueType >
• DFTSeq() : storm::dft::storage::elements::DFTSeq< ValueType >
• DFTSpare() : storm::dft::storage::elements::DFTSpare< ValueType >
• DFTState() : storm::dft::storage::DFTState< ValueType >
• DFTStateGenerationInfo() : storm::dft::storage::DFTStateGenerationInfo
• DftSymmetries() : storm::dft::storage::DftSymmetries
• DftToGspnTransformator() : storm::dft::transformations::DftToGspnTransformator< ValueType >
• DFTTraceSimulator() : storm::dft::simulator::DFTTraceSimulator< ValueType >
• DFTVot() : storm::dft::storage::elements::DFTVot< ValueType >
• diff() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result
• digits10() : Eigen::NumTraits< storm::RationalNumber >
• dimension() : storm::modelchecker::helper::rewardbounded::CostLimitClosure, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Point
• direction() : storm::solver::SolveGoal< ValueType, SolutionType >
• disable() : storm::ps::SubMDPPermissiveScheduler< RM >
• DiscreteTimePrismProgramSimulator() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• DiscreteTimeSparseModelSimulator() : storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >
• distance() : storm::storage::geometry::Halfspace< ValueType >
• Distribution() : storm::generator::Distribution< IndexType, ValueType >, storm::storage::Distribution< ValueType, StateType >
• DistributionEntry() : storm::generator::DistributionEntry< StateType, ValueType >
• distributionString() : storm::dft::storage::elements::BEConst< ValueType >, storm::dft::storage::elements::BEErlang< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >, storm::dft::storage::elements::BELogNormal< ValueType >, storm::dft::storage::elements::BEProbability< ValueType >, storm::dft::storage::elements::BESamples< ValueType >, storm::dft::storage::elements::BEWeibull< ValueType >, storm::dft::storage::elements::DFTBE< ValueType >
• DistributionWithReward() : storm::storage::DistributionWithReward< ValueType, StateType >
• divide() : storm::expressions::Type, storm::generator::Distribution< IndexType, ValueType >, storm::generator::DistributionEntry< StateType, ValueType >
• divideRowsInPlace() : storm::storage::SparseMatrix< ValueType >
• divideStateRewardVector() : storm::models::symbolic::StandardRewardModel< Type, ValueType >
• doAction() : storm::jani::elimination_actions::AutomaticAction, storm::jani::elimination_actions::EliminateAction, storm::jani::elimination_actions::EliminateAutomaticallyAction, storm::jani::elimination_actions::FinishAction, storm::jani::elimination_actions::RebuildWithoutUnreachableAction, storm::jani::elimination_actions::UnfoldAction, storm::jani::JaniLocalEliminator::Action
• dominates() : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• dontCare() : storm::dft::storage::DFTState< ValueType >
• dontCarePropagationDone() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• dormancyFactor() : storm::dft::storage::elements::BEErlang< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >, storm::dft::storage::elements::BEProbability< ValueType >
• dotOutputToFile() : storm::analysis::Order
• downwardClosure() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Pointset, storm::storage::geometry::Polytope< ValueType >
• dropAllArrayVariables() : storm::jani::VariableSet
• dropNaiveSccs() : storm::storage::StronglyConnectedComponentDecompositionOptions
• dropUnexploredStates() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• dropZeroEntries() : storm::storage::SparseMatrix< ValueType >
• DsMpiDtmcPriorityLess() : storm::modelchecker::helper::DsMpiDtmcPriorityLess< ValueType >
• DsMpiDtmcUpperRewardBoundsComputer() : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• DsMpiMdpPriorityLess() : storm::modelchecker::helper::DsMpiMdpPriorityLess< ValueType >
• DsMpiMdpUpperRewardBoundsComputer() : storm::modelchecker::helper::DsMpiMdpUpperRewardBoundsComputer< ValueType >
• Dtmc() : storm::models::sparse::Dtmc< ValueType, RewardModelType >, storm::models::symbolic::Dtmc< Type, ValueType >
• dummy_precision() : Eigen::NumTraits< storm::RationalNumber >
• dumpLpSolutionToFile() : storm::ps::MilpPermissiveSchedulerComputation< RM >
• dumpLpToFile() : storm::ps::MilpPermissiveSchedulerComputation< RM >
• duplicateRowsInRowgroups() : storm::storage::SparseMatrix< ValueType >
• DynamicPriorityQueue() : storm::storage::DynamicPriorityQueue< T, Container, Compare >
• DynamicStatePriorityQueue() : storm::solver::stateelimination::DynamicStatePriorityQueue< ValueType >