Here is a list of all namespace functions with links to the namespace documentation for each function:

- m -

• makeBinaryRelationExpression() : storm::expressions
• makeExplicitModelBuilder() : storm::api
• manager() : storm::settings
• max() : storm::utility
• max_if() : storm::utility::vector
• maximize() : storm::solver
• maximum() : storm::expressions, storm::utility
• maximumElementAbs() : storm::utility::vector
• maximumElementDiff() : storm::utility::vector
• min() : storm::utility
• min_if() : storm::utility::vector
• minimize() : storm::solver
• minimum() : storm::expressions, storm::utility
• minmax() : storm::utility
• minusMinMaxSolverPrecision() : storm::modelchecker::multiobjective
• mod() : storm::utility
• modulo() : storm::expressions
• MTTFHelperProceeding() : storm::dft::utility
• MTTFHelperVariableChange() : storm::dft::utility
• multiObjective() : storm::logic
• multiplyVectorsPointwise() : storm::utility::vector
• mutableAbstractionSettings() : storm::settings
• mutableBuildSettings() : storm::settings
• mutableManager() : storm::settings