Here is a list of all namespace enums with links to the namespace documentation for each enum:

- a -

• acc_op : storm::modelchecker::helper::lexicographic::spothelper
• ApproximationHeuristic : storm::dft::builder
• ArgumentType : storm::settings
• AssumptionStatus : storm::analysis

- b -

• BeliefNumberType : storm::pomdp
• BEType : storm::dft::storage::elements
• BinaryBooleanOperatorType : storm::logic
• BisimulationType : storm::storage
• BisimulationTypeChoice : storm::storage
• BoundTransformation : storm::modelchecker::helper::rewardbounded
• BuilderType : storm::builder

- c -

• CheckType : storm::modelchecker
• ComparisonType : storm::logic
• ConstantDataType : storm::parser

- d -

• DdType : storm::dd
• DFTDependencyState : storm::dft::storage
• DFTElementState : storm::dft::storage
• DFTElementType : storm::dft::storage::elements
• DimensionBoundType : storm::modelchecker::helper::rewardbounded

- e -

• EliminationLabelBehavior : storm::transformer
• Engine : storm::utility
• EquationSystemType : storm::modelchecker::helper
• ExplorationHeuristic : storm::builder
• ExplorationOrder : storm::builder

- f -

• FeasibilityMethod : storm::pars
• FilterType : storm::modelchecker
• FormulaContext : storm::logic

- g -

• GradientDescentConstraintMethod : storm::derivative
• GradientDescentMethod : storm::derivative
• GurobiSolverMethod : storm::solver

- l -

• LinearEquationSolverProblemFormat : storm::solver
• LraViTransitionsType : storm::modelchecker::helper::internal

- m -

• MatrixFormat : storm::utility::ksp
• MemlessSearchPathVariables : storm::pomdp
• MetaVariablePosition : storm::dd
• MetaVariableType : storm::dd
• ModelExportFormat : storm::io
• ModelFeature : storm::jani
• ModelRepresentation : storm::models
• ModelType : storm::generator, storm::jani, storm::models
• MultiplicationStyle : storm::solver

- n -

• NondeterministicMemoryStructurePattern : storm::storage

- o -

• OperatorType : storm::expressions
• OptimizationDirection : storm::solver
• OptimizationDirectionSetting : storm::solver
• OrderKind : storm::utility::permutation

- p -

• ParametricMode : storm::pars::utility
• PomdpFscApplicationMode : storm::transformer
• PomdpMemoryPattern : storm::storage
• PropertyType : storm::utility::pfinternal

- q -

• QuotientFormat : storm::dd::bisimulation

- r -

• RegionCheckEngine : storm::modelchecker
• RegionResult : storm::modelchecker
• RegionResultHypothesis : storm::modelchecker
• RelationType : storm::expressions
• RewardFinitenessType : storm::modelchecker::multiobjective::preprocessing
• RSResult : storm::solver::helper

- s -

• ScalingMode : storm::solver::stateelimination
• SemanticSolutionType : storm::modelchecker::helper
• SignatureMode : storm::dd::bisimulation
• SimulationStepResult : storm::dft::simulator
• SimulationTraceResult : storm::dft::simulator
• SolverGuarantee : storm::solver
• SolverStatus : storm::solver
• StateFilter : storm::modelchecker
• Status : storm::dd::bisimulation
• SteadyStateDistributionAlgorithm : storm
• SVIStage : storm::solver::helper

- t -

• TimeBoundType : storm::logic
• ToCppTranslationMode : storm::expressions

- u -

• UnaryBooleanOperatorType : storm::logic