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

- m -

• map_type : storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::storage::MaximalEndComponent
• Matrix : storm::utility::ksp::ShortestPathsGenerator< T >
• matrix_type : storm::transformer::ProductBuilder< Model >
• MatrixType : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• MdpStateType : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• MemoryState : storm::modelchecker::helper::rewardbounded::MemoryStateManager, storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• MilisecondType : storm::utility::ProgressMeasurement, storm::utility::Stopwatch
• Model : storm::utility::ksp::ShortestPathsGenerator< T >
• ModelValueType : storm::modelchecker::multiobjective::DeterministicSchedsAchievabilityChecker< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >
• Monotonicity : storm::analysis::LocalMonotonicityResult< VariableType >, storm::analysis::MonotonicityChecker< ValueType >, storm::analysis::MonotonicityHelper< ValueType, ConstantType >, storm::analysis::OrderExtender< ValueType, ConstantType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::transformer::ParameterLifter< ParametricType, ConstantType >