Here is a list of all namespace typedefs with links to the namespace documentation for each typedef:

- a -

• Assignments : storm::jani::detail

- b -

• Bdd : storm::dft::modelchecker
• BitVector : storm::utility::ksp

- c -

• CheckFormulaCallback : storm::modelchecker::lexicographic
• CoefficientType : storm::derivative
• CompareRelation : storm
• CompressedState : storm::generator
• ConstantsComparatorEnablePrecision : storm::utility
• ConstAssignments : storm::jani::detail
• ConstVariables : storm::jani::detail
• CostLimits : storm::modelchecker::helper::rewardbounded

- e -

• ElementGreater : storm::utility
• ElementLess : storm::utility
• ExportJsonType : storm::jani

- f -

• FlatSet : storm::storage
• FlatSetStateContainer : storm::storage

- i -

• index_type : storm::utility::permutation
• Interval : storm

- j -

• json : storm

- m -

• Maximum : storm::utility
• Minimum : storm::utility

- n -

• NextStateGeneratorOptions : storm::generator

- o -

• OptimizationDirection : storm
• OrderedStateList : storm::utility::ksp

- p -

• PlayerIndex : storm::storage
• Polynomial : storm
• PostprocessingCallbackType : storm::cli
• product_state : storm::modelchecker::helper::lexicographic::spothelper
• product_states : storm::modelchecker::helper::lexicographic::spothelper

- r -

• RationalFunction : storm
• RationalFunctionVariable : storm
• RawPolynomial : storm
• RawPolynomialCache : storm

- s -

• SparseMatrixIndexType : storm::storage
• state_t : storm::utility::ksp
• state_type : storm::storage::sparse
• StateId : storm::storage

- v -

• Valuation : storm::utility::parametric
• ValueType : storm::dft::modelchecker
• Variables : storm::jani::detail
• VariableType : storm::derivative
• VerificationCallbackType : storm::cli