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

- b -

• BaseType : storm::jani::BoundedType
• BisimulationType : storm::settings::modules::BisimulationSettings
• BoundType : storm::solver::AbstractEquationSolver< ValueType >

- c -

• CheckResult : storm::solver::SmtSolver
• CommandFilter : storm::generator::PrismNextStateGenerator< ValueType, StateType >
• ConvergenceCriterion : storm::settings::modules::GameSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::NativeEquationSolverSettings

- d -

• DirtyState : storm::StormVersion
• DominanceResult : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Point

- e -

• EdgeFilter : storm::generator::JaniNextStateGenerator< ValueType, StateType >
• Element : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• EliminationMethod : storm::settings::modules::EliminationSettings
• EliminationOrder : storm::jani::elimination_actions::EliminateAutomaticallyAction, storm::settings::modules::EliminationSettings
• EmptyStatus : storm::storage::geometry::NativePolytope< ValueType >
• EncodingType : storm::MultiObjectiveModelCheckerEnvironment

- f -

• FunctionDefinitionStatus : storm::jani::detail::FunctionEliminatorTraverser

- i -

• InfinityCase : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• InitialPartitionMode : storm::settings::modules::BisimulationSettings

- l -

• LinearEquationMethod : storm::settings::modules::EigenEquationSolverSettings

- m -

• MatrixStatus : storm::storage::SparseMatrix< ValueType >
• MemoryPattern : storm::storage::SchedulerClass
• Method : storm::settings::modules::AbstractionSettings
• Mode : storm::settings::FileValidator
• ModelType : storm::prism::Program, storm::storage::SymbolicModelDescription
• Monotonicity : storm::analysis::MonotonicityResult< VariableType >

- n -

• NextStateHeuristic : storm::settings::modules::ExplorationSettings
• NodeComparison : storm::analysis::Order

- o -

• OperatorType : storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::UnaryNumericalFunctionExpression

- p -

• PivotSelectionHeuristic : storm::settings::modules::AbstractionSettings
• PrecisionType : storm::MultiObjectiveModelCheckerEnvironment
• PrecomputationType : storm::settings::modules::ExplorationSettings
• PreconditioningMethod : storm::settings::modules::EigenEquationSolverSettings
• PredicateType : storm::expressions::PredicateExpression

- q -

• QueryType : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >

- r -

• RefinementMode : storm::settings::modules::BisimulationSettings
• ReorderingTechnique : storm::settings::modules::CuddSettings
• ReuseMode : storm::settings::modules::AbstractionSettings, storm::settings::modules::BisimulationSettings

- s -

• SolveMode : storm::settings::modules::AbstractionSettings
• Source : storm::gbar::abstraction::RefinementPredicates
• SplitMode : storm::settings::modules::AbstractionSettings
• StateLabel : storm::solver::stateelimination::ConditionalStateEliminator< ValueType >
• Status : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >

- t -

• TranscendentalNumber : storm::expressions::TranscendentalNumberLiteralExpression
• TriangulationMode : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• Type : storm::jani::BasicType, storm::pomdp::analysis::FormulaInformation

- v -

• ValidBlockMode : storm::settings::modules::AbstractionSettings
• ValidityCheckLevel : storm::prism::Program
• ValueType : storm::cli::ModelProcessingInformation
• VariableSelection : storm::expressions::VariableIterator
• VariableType : storm::solver::LpSolver< ValueType, RawMode >
• VersionSource : storm::StormVersion