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

- m -

• MACROaddValidator() : storm::settings::ArgumentBuilder
• MACROsetDefaultValue() : storm::settings::ArgumentBuilder
• make_iterator() : storm::adapters::DereferenceIteratorAdapter< ContainerType >
• makeArrayVariable() : storm::jani::Variable
• makeBasicTypeVariable() : storm::jani::Variable
• makeBooleanVariable() : storm::jani::Variable
• makeBoundedIntegerVariable() : storm::jani::Variable
• makeBoundedRealVariable() : storm::jani::Variable
• makeBoundedVariable() : storm::jani::Variable
• makeClockVariable() : storm::jani::Variable
• makeContinuousVariable() : storm::jani::Variable
• makeIntegerVariable() : storm::jani::Variable
• makeObservationValuation() : storm::generator::NextStateGenerator< ValueType, StateType >
• makeOptional() : storm::settings::ArgumentBuilder
• MakePOMDPCanonic() : storm::transformer::MakePOMDPCanonic< ValueType >
• makeRealVariable() : storm::jani::Variable
• makeRowDirac() : storm::storage::SparseMatrix< ValueType >
• makeRowGroupingTrivial() : storm::storage::SparseMatrix< ValueType >
• makeRowGroupsAbsorbing() : storm::storage::SparseMatrix< ValueType >
• makeRowsAbsorbing() : storm::storage::SparseMatrix< ValueType >
• makeStandardJaniCompliant() : storm::jani::Model
• MakeStateSetObservationClosed() : storm::transformer::MakeStateSetObservationClosed< ValueType >
• makeVariable() : storm::jani::Variable
• makeVariableGlobal() : storm::jani::JaniScopeChanger
• makeVariableLocal() : storm::jani::JaniScopeChanger
• makeVariablesGlobal() : storm::jani::JaniScopeChanger
• makeVariablesLocal() : storm::jani::JaniScopeChanger
• manager() : storm::settings::SettingsManager
• MappedFile() : storm::parser::MappedFile
• mapStatesToBlock() : storm::storage::bisimulation::Partition< DataType >
• mapStatesToPositions() : storm::storage::bisimulation::Partition< DataType >
• markAsGridBelief() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• markAsInvalid() : storm::dft::storage::DFTState< ValueType >
• markAsTransient() : storm::dft::storage::DFTState< ValueType >
• marker1() : storm::storage::bisimulation::DeterministicBlockData
• marker2() : storm::storage::bisimulation::DeterministicBlockData
• markExpand() : storm::dft::builder::DFTExplorationHeuristic< ValueType >
• Marking() : storm::gspn::Marking
• MarkovAutomaton() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• markUnfolded() : storm::jani::elimination_actions::UnfoldDependencyGraph
• matches() : storm::storage::BitVector
• MathsatSmtSolver() : storm::solver::MathsatSmtSolver
• MatrixAndLabeling() : storm::dd::Add< LibraryType, ValueType >::MatrixAndLabeling
• MatrixEntry() : storm::storage::MatrixEntry< IndexType, ValueType >
• maxAbstract() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• maxAbstractRepresentative() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• MaximalEndComponent() : storm::storage::MaximalEndComponent
• MaximalEndComponentDecomposition() : storm::storage::MaximalEndComponentDecomposition< ValueType >
• maximize() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >, storm::pomdp::analysis::FormulaInformation
• maximum() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• maxRank() : storm::dft::storage::DFT< ValueType >
• maxStepsPerformed() : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• MaybeStateResult() : storm::modelchecker::helper::MaybeStateResult< ValueType >
• Mdp() : storm::models::sparse::Mdp< ValueType, RewardModelType >, storm::models::symbolic::Mdp< Type, ValueType >
• MDPSparseModelCheckingHelperReturnType() : storm::modelchecker::helper::MDPSparseModelCheckingHelperReturnType< ValueType >
• mean() : storm::dft::storage::elements::BELogNormal< ValueType >
• MemoryStateManager() : storm::modelchecker::helper::rewardbounded::MemoryStateManager
• MemoryStructure() : storm::storage::MemoryStructure
• MemoryStructureBuilder() : storm::storage::MemoryStructureBuilder< ValueType, RewardModelType >
• MenuGame() : storm::gbar::abstraction::MenuGame< Type, ValueType >
• MenuGameAbstractor() : storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >
• MenuGameAbstractorOptions() : storm::gbar::abstraction::MenuGameAbstractorOptions
• MenuGameRefiner() : storm::gbar::abstraction::MenuGameRefiner< Type, ValueType >
• MenuGameRefinerOptions() : storm::gbar::abstraction::MenuGameRefinerOptions
• merge() : storm::analysis::Order, storm::dft::utility::RelevantEvents
• mergeNodes() : storm::analysis::Order
• mergeTargetAndSinkStates() : storm::transformer::GoalStateMerger< SparseModelType >
• MilpPermissiveSchedulerComputation() : storm::ps::MilpPermissiveSchedulerComputation< RM >
• minAbstract() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• minAbstractRepresentative() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• minimize() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >, storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >, storm::pomdp::analysis::FormulaInformation, storm::solver::SolveGoal< ValueType, SolutionType >
• minimizing() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• minimum() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• minimumMaximum() : storm::expressions::Type
• minkowskiSum() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• minMax() : storm::SolverEnvironment
• MinMaxEquationSolverSettings() : storm::settings::modules::MinMaxEquationSolverSettings
• MinMaxLinearEquationSolver() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• MinMaxLinearEquationSolverFactory() : storm::solver::MinMaxLinearEquationSolverFactory< ValueType, SolutionType >
• MinMaxLinearEquationSolverRequirements() : storm::solver::MinMaxLinearEquationSolverRequirements
• MinMaxLpSolverEnvironment() : storm::MinMaxLpSolverEnvironment
• MinMaxSolverEnvironment() : storm::MinMaxSolverEnvironment
• minus() : storm::expressions::Type
• mod() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• Model() : storm::jani::Model, storm::models::Model< ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• ModelBase() : storm::models::ModelBase
• modelchecker() : storm::Environment
• ModelCheckerEnvironment() : storm::ModelCheckerEnvironment
• ModelCheckerHelper() : storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• ModelCheckerHint() : storm::modelchecker::ModelCheckerHint
• ModelCheckerSettings() : storm::settings::modules::ModelCheckerSettings
• modelcheckingPrecision() : BeliefExplorationAPITest< TestType >
• ModelComponents() : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• ModelInstantiator() : storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >
• ModelReference() : storm::solver::SmtSolver::ModelReference
• module() : storm::dft::storage::DFT< ValueType >
• Module() : storm::prism::Module
• ModuleAbstractor() : storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >
• ModuleComposer() : storm::builder::ModuleComposer< Type, ValueType >
• ModuleComposition() : storm::prism::ModuleComposition
• ModuleRenaming() : storm::prism::ModuleRenaming
• ModuleSettings() : storm::settings::modules::ModuleSettings
• modulo() : storm::expressions::Type
• MonotonicityChecker() : storm::analysis::MonotonicityChecker< ValueType >
• MonotonicityHelper() : storm::analysis::MonotonicityHelper< ValueType, ConstantType >
• MonotonicityResult() : storm::analysis::MonotonicityResult< VariableType >
• MonotonicitySetting() : storm::api::MonotonicitySetting
• MonotonicitySettings() : storm::settings::modules::MonotonicitySettings
• moveActionToBackOfMatrix() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• moveToNextStage() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• moveToSecondRun() : storm::parser::GlobalProgramInformation
• multi() : storm::ModelCheckerEnvironment
• MultiDimensionalRewardUnfolding() : storm::modelchecker::helper::rewardbounded::MultiDimensionalRewardUnfolding< ValueType, SingleObjectiveMode >
• MultiObjectiveFormula() : storm::logic::MultiObjectiveFormula
• MultiObjectiveModelCheckerEnvironment() : storm::MultiObjectiveModelCheckerEnvironment
• MultiObjectiveSettings() : storm::settings::modules::MultiObjectiveSettings
• MultipleChoiceValidator() : storm::settings::MultipleChoiceValidator
• Multiplier() : storm::solver::Multiplier< ValueType >
• multiplier() : storm::SolverEnvironment
• MultiplierEnvironment() : storm::MultiplierEnvironment
• MultiplierFactory() : storm::solver::MultiplierFactory< ValueType >
• MultiplierSettings() : storm::settings::modules::MultiplierSettings
• multiply() : storm::solver::GmmxxMultiplier< ValueType >, storm::solver::Multiplier< ValueType >, storm::solver::NativeMultiplier< ValueType >, storm::solver::SymbolicLinearEquationSolver< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• multiplyAndReduce() : storm::solver::GmmxxMultiplier< ValueType >, storm::solver::Multiplier< ValueType >, storm::solver::NativeMultiplier< ValueType >, storm::storage::SparseMatrix< ValueType >
• multiplyAndReduceBackward() : storm::storage::SparseMatrix< ValueType >
• multiplyAndReduceForward() : storm::storage::SparseMatrix< ValueType >
• multiplyAndReduceGaussSeidel() : storm::solver::GmmxxMultiplier< ValueType >, storm::solver::Multiplier< ValueType >, storm::solver::NativeMultiplier< ValueType >
• multiplyGaussSeidel() : storm::solver::GmmxxMultiplier< ValueType >, storm::solver::Multiplier< ValueType >, storm::solver::NativeMultiplier< ValueType >
• multiplyMatrix() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• multiplyRow() : storm::solver::GmmxxMultiplier< ValueType >, storm::solver::Multiplier< ValueType >, storm::solver::NativeMultiplier< ValueType >
• multiplyRow2() : storm::solver::Multiplier< ValueType >, storm::solver::NativeMultiplier< ValueType >
• multiplyRowWithVector() : storm::storage::SparseMatrix< ValueType >
• multiplyTransitions() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• multiplyVectorWithMatrix() : storm::storage::SparseMatrix< ValueType >
• multiplyWithVector() : storm::storage::SparseMatrix< ValueType >
• multiplyWithVectorBackward() : storm::storage::SparseMatrix< ValueType >
• multiplyWithVectorForward() : storm::storage::SparseMatrix< ValueType >
• MultiValueStateEliminator() : storm::solver::stateelimination::MultiValueStateEliminator< ValueType >
• mutexRestrictionElements() : storm::dft::storage::DFTStateGenerationInfo