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

- d -

• ddManager : storm::dd::bisimulation::InternalRepresentativeComputerBase< DdType >, storm::gbar::abstraction::AbstractionInformation< DdType >
• DdType : Cudd, Dd< TestType >, DdPrismModelBuilderTest< TestType >, FullySymbolicGameSolverTest< TestType >, GameBasedDtmcModelCheckerTest< TestType >, GameBasedMdpModelCheckerTest< TestType >, GraphTestAR< TestType >, GraphTestSymbolic< TestType >, PrismMenuGame< TestType >
• ddType : storm::cli::ModelProcessingInformation
• DdType : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::BisimulationAbstractionRefinementModelChecker< ModelType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >
• ddType : storm::models::GetDdType< ModelRepresentation::DdCudd >, storm::models::GetDdType< ModelRepresentation::DdSylvan >, storm::models::GetDdType< ModelRepresentation::Sparse >
• DdType : storm::models::symbolic::Model< Type, CValueType >, Sylvan, SylvanDd< TestType >, SymbolicModelBisimulationDecomposition< TestType >
• ddVariableIndexToPredicateIndexMap : storm::gbar::abstraction::AbstractionInformation< DdType >
• deadlockLabel : storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
• deadlockStateIndices : storm::storage::sparse::StateStorage< StateType >
• deadlockStates : storm::builder::ModelComponents< Type, ValueType >
• defaultValue : storm::generator::TransientVariableData< VariableType >
• delta : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::BeliefClipping
• deltaValues : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::BeliefClipping
• dependencies : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableGroup
• dependentDimensions : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• depth : storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >
• description : storm::parser::JaniParser< ValueType >::Scope, storm::settings::ArgumentBase
• deterministic : storm::generator::ObservationLabelInformation
• dft : storm::dft::simulator::DFTTraceSimulator< ValueType >, storm::dft::simulator::ImportanceFunction< ValueType >
• diracWeightVectorsToBeChecked : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• direction : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• dirty : storm::StormVersion
• discretize : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• distance : storm::gbar::abstraction::ExplicitDijkstraQueueElement< ValueType >, storm::gbar::abstraction::ExplicitPivotStateResult< ValueType >, storm::utility::ksp::Path< T >
• domainSize : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableGroup, storm::jani::elimination_actions::UnfoldDependencyGraph::VariableInfo
• dynamicTriangulation : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >