Here is a list of all class members 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 >, storm::transformer::SubsystemBuilderOptions
• 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
• mAllowDC : storm::dft::storage::elements::DFTElement< ValueType >
• manager : storm::builder::CompositionVariables< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >, storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >, storm::dd::bisimulation::InternalSylvanSignatureRefinerBase, storm::settings::SettingsManager, storm::solver::LpSolver< ValueType, RawMode >
• map_type : storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::storage::MaximalEndComponent
• 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 >
• markovian : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionIdentification, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiation
• markovianChoices : storm::parser::MarkovAutomatonSparseTransitionParser< ValueType >::Result
• markovianStates : storm::parser::MarkovAutomatonSparseTransitionParser< ValueType >::Result, storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• markUnfolded() : storm::jani::elimination_actions::UnfoldDependencyGraph
• mask : storm::generator::NextStateGenerator< ValueType, StateType >
• matches() : storm::storage::BitVector
• MathsatSmtSolver() : storm::solver::MathsatSmtSolver
• matrix : storm::dd::Add< LibraryType, ValueType >::MatrixAndLabeling, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >::EcQuotient, storm::solver::Multiplier< ValueType >, storm::solver::stateelimination::EliminatorBase< ValueType, Mode >, storm::transformer::EndComponentEliminator< ValueType >::EndComponentEliminatorReturnType
• Matrix : storm::utility::ksp::ShortestPathsGenerator< T >
• matrix_type : storm::transformer::ProductBuilder< Model >
• MatrixAndLabeling() : storm::dd::Add< LibraryType, ValueType >::MatrixAndLabeling
• matrixEntries : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• matrixEntriesCreated : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• MatrixEntry() : storm::storage::MatrixEntry< IndexType, ValueType >
• MatrixStatus : storm::storage::SparseMatrix< ValueType >
• MatrixType : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• max : storm::gbar::abstraction::SymbolicQuantitativeGameResultMinMax< Type, ValueType >
• MAX_APS : storm::automata::APSet
• 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 >, storm::expressions::Expression
• maximumCounterexamples : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• maximumExtraIterations : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• maxPathLength : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• maxProbabilities : storm::gbar::abstraction::SymbolicMostProbablePathsResult< Type, ValueType >
• maxProbabilityToSuccessorWithObs : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >::SuccessorObservationInformation
• maxRank() : storm::dft::storage::DFT< ValueType >
• maxStepsPerformed() : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• maxValue : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• maybeInfiniteRewardObjectives : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >
• MaybeStateResult() : storm::modelchecker::helper::MaybeStateResult< ValueType >
• maybeStates : storm::modelchecker::helper::QualitativeStateSetsReachabilityRewards, storm::modelchecker::helper::QualitativeStateSetsUntilProbabilities
• Mdp() : storm::models::sparse::Mdp< ValueType, RewardModelType >, storm::models::symbolic::Mdp< Type, ValueType >
• mdp : storm::ps::PermissiveSchedulerComputation< RM >
• MDPSparseModelCheckingHelperReturnType() : storm::modelchecker::helper::MDPSparseModelCheckingHelperReturnType< ValueType >
• MdpStateType : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• mean() : storm::dft::storage::elements::BELogNormal< ValueType >
• measureDrivenInitialPartition : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• mecs : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >::LraMecDecomposition
• memoryLabel : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• MemoryPattern : storm::storage::SchedulerClass
• MemoryState : storm::modelchecker::helper::rewardbounded::MemoryStateManager, storm::modelchecker::helper::rewardbounded::ProductModel< 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 >
• Method : storm::settings::modules::AbstractionSettings
• mGoals : storm::ps::PermissiveSchedulerComputation< RM >
• mId : storm::dft::storage::elements::DFTElement< ValueType >
• MilisecondType : storm::utility::ProgressMeasurement, storm::utility::Stopwatch
• MilpPermissiveSchedulerComputation() : storm::ps::MilpPermissiveSchedulerComputation< RM >
• min : storm::gbar::abstraction::SymbolicQuantitativeGameResultMinMax< Type, ValueType >, storm::pomdp::storage::ExtremePOMDPValueBound< ValueType >
• 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 >, storm::expressions::Expression
• 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
• mName : storm::dft::storage::elements::DFTElement< ValueType >
• mod() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• Mode : storm::settings::FileValidator
• model : BeliefExplorationAPITest< TestType >::Input, storm::builder::SystemComposer< Type, ValueType >, storm::cli::SymbolicInput, storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• Model() : storm::jani::Model, storm::models::Model< ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• model : storm::pars::PreprocessResult, storm::simulator::DiscreteTimeSparseModelSimulator< ValueType, RewardModelType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >, storm::storage::ModelFormulasPair, storm::transformer::GoalStateMerger< SparseModelType >::ReturnType, storm::transformer::SubsystemBuilderReturnType< ValueType, RewardModelType >
• Model : storm::utility::ksp::ShortestPathsGenerator< T >
• ModelBase() : storm::models::ModelBase
• modelchecker() : storm::Environment
• modelcheckerEnvironment : storm::InternalEnvironment
• ModelCheckerEnvironment() : storm::ModelCheckerEnvironment
• ModelCheckerHelper() : storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• ModelCheckerHint() : storm::modelchecker::ModelCheckerHint
• ModelCheckerSettings() : storm::settings::modules::ModelCheckerSettings
• modelcheckingPrecision() : BeliefExplorationAPITest< TestType >
• modelCheckingTime : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::GeneratorStats
• ModelComponents() : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• modelInstantiator : storm::modelchecker::SparseCtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseDtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpInstantiationModelChecker< SparseModelType, ConstantType >
• ModelInstantiator() : storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >
• modelName : storm::converter::JaniConversionOptions
• ModelReference() : storm::solver::SmtSolver::ModelReference
• modelType : storm::jani::InformationObject, storm::parser::GlobalProgramInformation
• ModelType : storm::prism::Program, storm::storage::SymbolicModelDescription
• ModelValueType : storm::modelchecker::multiobjective::DeterministicSchedsAchievabilityChecker< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >
• module() : storm::dft::storage::DFT< ValueType >
• Module() : storm::prism::Module
• ModuleAbstractor() : storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >
• ModuleComposer : storm::builder::DdPrismModelBuilder< Type, ValueType >, storm::builder::ModuleComposer< Type, ValueType >
• ModuleComposition() : storm::prism::ModuleComposition
• moduleName : storm::dft::settings::modules::DftGspnSettings, storm::dft::settings::modules::DftIOSettings, storm::dft::settings::modules::FaultTreeSettings, storm::settings::modules::AbstractionSettings, storm::settings::modules::BeliefExplorationSettings, storm::settings::modules::BisimulationSettings, storm::settings::modules::BuildSettings, storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::ConversionInputSettings, storm::settings::modules::ConversionOutputSettings, storm::settings::modules::CoreSettings, storm::settings::modules::CounterexampleGeneratorSettings, storm::settings::modules::CuddSettings, storm::settings::modules::DebugSettings, storm::settings::modules::DerivativeSettings, storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::EliminationSettings, storm::settings::modules::ExplorationSettings, storm::settings::modules::FeasibilitySettings, storm::settings::modules::GameSolverSettings, storm::settings::modules::GeneralSettings, storm::settings::modules::GlpkSettings, storm::settings::modules::GmmxxEquationSolverSettings, storm::settings::modules::GSPNExportSettings, storm::settings::modules::GSPNSettings, storm::settings::modules::GurobiSettings, storm::settings::modules::HintSettings, storm::settings::modules::IOSettings, storm::settings::modules::JaniExportSettings, storm::settings::modules::LongRunAverageSolverSettings, storm::settings::modules::MinMaxEquationSolverSettings, storm::settings::modules::ModelCheckerSettings, storm::settings::modules::MonotonicitySettings, storm::settings::modules::MultiObjectiveSettings, storm::settings::modules::MultiplierSettings, storm::settings::modules::NativeEquationSolverSettings, storm::settings::modules::OviSolverSettings, storm::settings::modules::ParametricSettings, storm::settings::modules::PartitionSettings, storm::settings::modules::POMDPSettings, storm::settings::modules::PrismExportSettings, storm::settings::modules::QualitativePOMDPAnalysisSettings, storm::settings::modules::RegionSettings, storm::settings::modules::RegionVerificationSettings, storm::settings::modules::ResourceSettings, storm::settings::modules::SamplingSettings, storm::settings::modules::Smt2SmtSolverSettings, storm::settings::modules::SylvanSettings, storm::settings::modules::TimeBoundedSolverSettings, storm::settings::modules::ToParametricSettings, storm::settings::modules::TopologicalEquationSolverSettings, storm::settings::modules::TransformationSettings
• modulePtr : storm::generator::ActiveCommandData
• ModuleRenaming() : storm::prism::ModuleRenaming
• modules : storm::parser::GlobalProgramInformation
• modules::ModuleSettings : storm::settings::Option
• ModuleSettings() : storm::settings::modules::ModuleSettings
• moduleToIdentityMap : storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >
• moduleToIndexMap : storm::parser::GlobalProgramInformation
• moduleToRangeMap : storm::builder::DdPrismModelBuilder< Type, ValueType >::GenerationInformation< Type, ValueType >
• modulo() : storm::expressions::Type
• monotoneDecrParameters : storm::modelchecker::RegionModelChecker< ParametricType >
• monotoneIncrParameters : storm::modelchecker::RegionModelChecker< ParametricType >
• Monotonicity : storm::analysis::LocalMonotonicityResult< VariableType >, storm::analysis::MonotonicityChecker< ValueType >, storm::analysis::MonotonicityHelper< ValueType, ConstantType >, storm::analysis::MonotonicityResult< VariableType >, storm::analysis::OrderExtender< ValueType, ConstantType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::transformer::ParameterLifter< ParametricType, ConstantType >
• 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
• mOutgoingDependencies : storm::dft::storage::elements::DFTElement< ValueType >
• moveActionToBackOfMatrix() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• moveToNextStage() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• moveToSecondRun() : storm::parser::GlobalProgramInformation
• mParents : storm::dft::storage::elements::DFTElement< ValueType >
• mPenalties : storm::ps::PermissiveSchedulerComputation< RM >
• mRank : storm::dft::storage::elements::DFTElement< ValueType >
• mRelevant : storm::dft::storage::elements::DFTElement< ValueType >
• mRestrictions : storm::dft::storage::elements::DFTElement< ValueType >
• mSinks : storm::ps::PermissiveSchedulerComputation< RM >
• MulCost : Eigen::NumTraits< storm::RationalNumber >
• 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
• multipleCounterexampleSizeCap : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• 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 >
• Murmur3BitVectorHash : storm::storage::BitVector
• mutexRestrictionElements() : storm::dft::storage::DFTStateGenerationInfo