Here is a list of all namespace functions with links to the namespace documentation for each function:

- d -

• denominator() : storm::utility
• detectFiniteBeliefMdp() : storm::pomdp
• diff() : storm::solver::helper
• disableOutput() : storm::test
• discretizeRewardModel() : storm::modelchecker::helper
• disjunction() : storm::expressions
• divide() : storm::utility
• divideVectorsPointwise() : storm::utility::vector
• dotProduct() : storm::utility::vector
• DoubleNearPredFormat() : testing::internal
• dumpJson() : storm