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

- c -

• calculatePermissiveScheduler() : storm::ps::MilpPermissiveSchedulerComputation< RM >, storm::ps::PermissiveSchedulerComputation< RM >, storm::ps::SmtPermissiveSchedulerComputation< RM >
• call() : storm::jani::FunctionDefinition
• canFail() : storm::dft::storage::elements::BEConst< ValueType >, storm::dft::storage::elements::BEErlang< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >, storm::dft::storage::elements::BELogNormal< ValueType >, storm::dft::storage::elements::BEProbability< ValueType >, storm::dft::storage::elements::BESamples< ValueType >, storm::dft::storage::elements::BEWeibull< ValueType >, storm::dft::storage::elements::DFTBE< ValueType >
• canHandle() : storm::builder::DdJaniModelBuilder< Type, ValueType >, storm::builder::DdPrismModelBuilder< Type, ValueType >, storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::GameBasedMdpModelChecker< Type, ModelType >, storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::PrismNextStateGenerator< ValueType, StateType >, storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseExplorationModelChecker< ModelType, StateType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SparsePropositionalModelChecker< SparseModelType >, storm::modelchecker::SparseSmgRpatlModelChecker< SparseSmgModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >, storm::modelchecker::ValidatingSparseParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >
• canHandleStatic() : storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseExplorationModelChecker< ModelType, StateType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SparseSmgRpatlModelChecker< SparseSmgModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• canHaveNondeterminism() : storm::dft::storage::DFT< ValueType >
• canMakeVariableGlobal() : storm::jani::JaniScopeChanger
• canMakeVariableLocal() : storm::jani::JaniScopeChanger
• canRepresent() : storm::dd::DdMetaVariable< LibraryType >
• capacity() : storm::storage::BitVectorHashMap< ValueType, Hash >
• cbegin() : storm::storage::Distribution< ValueType, StateType >, storm::storage::StateBlock
• ceil() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• cend() : storm::storage::Distribution< ValueType, StateType >, storm::storage::StateBlock
• changeAssignmentVariables() : storm::jani::Automaton, storm::jani::EdgeContainer, storm::jani::Location, storm::jani::LValue, storm::jani::OrderedAssignments, storm::jani::TemplateEdge, storm::jani::TemplateEdgeDestination
• changedStatesAsAdd() : storm::dd::bisimulation::Partition< DdType, ValueType >
• changedStatesAsBdd() : storm::dd::bisimulation::Partition< DdType, ValueType >
• changeManager() : storm::expressions::ChangeManagerVisitor, storm::expressions::Expression
• ChangeManagerVisitor() : storm::expressions::ChangeManagerVisitor
• check() : storm::derivative::SparseDerivativeInstantiationModelChecker< FunctionType, ConstantType >, storm::dft::adapters::SFTBDDPropertyFormulaAdapter, storm::dft::modelchecker::DFTModelChecker< ValueType >, storm::dft::modelchecker::DftModularizationChecker< ValueType >, storm::dft::settings::modules::DftGspnSettings, storm::dft::settings::modules::DftIOSettings, storm::dft::settings::modules::FaultTreeSettings, storm::dft::storage::DFTIsomorphismCheck< ValueType >, storm::expressions::CheckIfThenElseGuardVisitor, storm::expressions::LinearityCheckVisitor, storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::multiobjective::DeterministicSchedsAchievabilityChecker< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::DeterministicSchedsLpChecker< ModelType, GeometryValueType >, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >, storm::modelchecker::multiobjective::RewardBoundedMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::SparseCbAchievabilityQuery< SparseModelType >, storm::modelchecker::multiobjective::SparseCbQuery< SparseModelType >, storm::modelchecker::multiobjective::SparsePcaaAchievabilityQuery< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::SparsePcaaParetoQuery< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::SparsePcaaQuantitativeQuery< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >, storm::modelchecker::SparseCtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseDtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >, storm::prism::CompositionValidityChecker, storm::settings::modules::BisimulationSettings, storm::settings::modules::ConversionGeneralSettings, storm::settings::modules::ConversionInputSettings, storm::settings::modules::ConversionOutputSettings, storm::settings::modules::CoreSettings, storm::settings::modules::CounterexampleGeneratorSettings, storm::settings::modules::EigenEquationSolverSettings, storm::settings::modules::ExplorationSettings, 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::ModuleSettings, storm::settings::modules::MultiObjectiveSettings, storm::settings::modules::NativeEquationSolverSettings, storm::settings::modules::POMDPSettings, storm::settings::modules::PrismExportSettings, storm::settings::modules::QualitativePOMDPAnalysisSettings, storm::settings::modules::Smt2SmtSolverSettings, storm::settings::modules::SylvanSettings, storm::settings::modules::ToParametricSettings, storm::settings::modules::TopologicalEquationSolverSettings, storm::settings::modules::TransformationSettings, storm::solver::MathsatSmtSolver, storm::solver::SmtlibSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver, storm::storage::bisimulation::Block< DataType >, storm::storage::bisimulation::Partition< DataType >
• checkAndTransformFormulas() : storm::transformer::ContinuousToDiscreteTimeModelTransformer< ValueType, RewardModelType >, storm::transformer::NonMarkovianChainTransformer< ValueType, RewardModelType >
• checkAndUpdateTransientProbabilityEpsilon() : storm::modelchecker::helper::SparseCtmcCslHelper
• checkAtomicExpressionFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >
• checkAtomicLabelFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SparsePropositionalModelChecker< SparseModelType >, storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >
• checkBinaryBooleanStateFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkBooleanLiteralFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SparsePropositionalModelChecker< SparseModelType >, storm::modelchecker::SymbolicPropositionalModelChecker< ModelType >
• checkBoundedUntilFormula() : storm::modelchecker::SparseDtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpInstantiationModelChecker< SparseModelType, ConstantType >
• checkConvergence() : storm::solver::helper::SoundValueIterationHelper< ValueType, TrivialRowGrouping >::SVIData
• checkCustomTerminationCondition() : storm::solver::helper::SoundValueIterationHelper< ValueType, TrivialRowGrouping >::SVIData
• checkDependencyConflict() : storm::dft::modelchecker::DFTASFChecker
• checkDerivative() : storm::analysis::MonotonicityChecker< ValueType >, storm::analysis::MonotonicityHelper< ValueType, ConstantType >
• checkDontCareAnymore() : storm::dft::storage::elements::DFTBE< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTGate< ValueType >, storm::dft::storage::elements::DFTMutex< ValueType >, storm::dft::storage::elements::DFTRestriction< ValueType >, storm::dft::storage::elements::DFTSeq< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >
• checkFails() : storm::dft::storage::elements::DFTAnd< ValueType >, storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTMutex< ValueType >, storm::dft::storage::elements::DFTOr< ValueType >, storm::dft::storage::elements::DFTPand< ValueType >, storm::dft::storage::elements::DFTPor< ValueType >, storm::dft::storage::elements::DFTSeq< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >, storm::dft::storage::elements::DFTVot< ValueType >
• checkFailsafe() : storm::dft::storage::elements::DFTAnd< ValueType >, storm::dft::storage::elements::DFTChildren< ValueType >, storm::dft::storage::elements::DFTMutex< ValueType >, storm::dft::storage::elements::DFTOr< ValueType >, storm::dft::storage::elements::DFTPand< ValueType >, storm::dft::storage::elements::DFTPor< ValueType >, storm::dft::storage::elements::DFTSeq< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >, storm::dft::storage::elements::DFTVot< ValueType >
• checkFailsAtTimepointWithEqNonMarkovianState() : storm::dft::modelchecker::DFTASFChecker
• checkFailsLeqWithEqNonMarkovianState() : storm::dft::modelchecker::DFTASFChecker
• checkForm() : storm::dft::adapters::SFTBDDPropertyFormulaAdapter
• checkForPossibleMonotonicity() : storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• checkForResultAfterQualitativeCheck() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• checkForResultAfterQuantitativeCheck() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• checkForUndeclaredVariables() : storm::adapters::Smt2ExpressionAdapter
• checkGameFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SparseSmgRpatlModelChecker< SparseSmgModelType >
• CheckIfThenElseGuardVisitor() : storm::expressions::CheckIfThenElseGuardVisitor
• checkLexObjectiveFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• checkLocalMonotonicity() : storm::analysis::MonotonicityChecker< ValueType >, storm::analysis::MonotonicityHelper< ValueType, ConstantType >
• checkLongRunAverageOperatorFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkMonotonicityInBuild() : storm::analysis::MonotonicityHelper< ValueType, ConstantType >
• checkMultiObjectiveFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• checkOrder() : storm::jani::OrderedAssignments
• checkParOnStateMonRes() : storm::analysis::OrderExtender< ValueType, ConstantType >
• checkProbabilityOperatorFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkQuantileFormula() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• checkReachabilityProbabilityFormula() : storm::modelchecker::SparseDtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpInstantiationModelChecker< SparseModelType, ConstantType >
• checkReachabilityRewardFormula() : storm::modelchecker::SparseDtmcInstantiationModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpInstantiationModelChecker< SparseModelType, ConstantType >
• checkRelevantNames() : storm::dft::utility::RelevantEvents
• checkRestrictionLater() : storm::dft::storage::DFTStateSpaceGenerationQueues< ValueType >
• checkRewardOperatorFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkStateFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkSymmetries() : storm::dft::storage::DFTStateGenerationInfo
• CheckTask() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• checkTimeOperatorFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkTleFailsWithEq() : storm::dft::modelchecker::DFTASFChecker
• checkTleFailsWithLeq() : storm::dft::modelchecker::DFTASFChecker
• checkTleNeverFailed() : storm::dft::modelchecker::DFTASFChecker
• checkUnaryBooleanStateFormula() : storm::modelchecker::AbstractModelChecker< ModelType >
• checkValid() : storm::dft::transformations::DftInstantiator< ParametricType, ConstantType >, storm::jani::Location, storm::jani::Model, storm::utility::ModelInstantiator< ParametricSparseModelType, ConstantSparseModelType >
• checkValidity() : storm::prism::Program
• checkWithAssumptions() : storm::solver::MathsatSmtSolver, storm::solver::SmtlibSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver
• children() : storm::dft::storage::elements::DFTChildren< ValueType >
• childrenDontCare() : storm::dft::storage::elements::DFTGate< ValueType >
• Choice() : storm::generator::Choice< ValueType, StateType >
• ChoiceLabeling() : storm::models::sparse::ChoiceLabeling
• ChoiceOrigins() : storm::storage::sparse::ChoiceOrigins
• choices() : storm::storage::StronglyConnectedComponentDecompositionOptions
• ChoiceSelector() : storm::transformer::ChoiceSelector< ValueType, RewardModelType >
• claimNew() : storm::dft::storage::DFTState< ValueType >
• clean() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• clear() : storm::builder::TerminalStates, storm::dft::storage::DftModule, storm::dft::storage::FailableElements, storm::gbar::modelchecker::detail::PreviousExplicitResult< ValueType >, storm::generator::Distribution< IndexType, ValueType >, storm::generator::TransientVariableValuation< ValueType >, storm::jani::OrderedAssignments, storm::ps::PermissiveSchedulerPenalties, storm::solver::SolverRequirement, storm::storage::BitVector, storm::storage::geometry::PolytopeTree< ValueType >
• clearAcyclic() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• clearBounds() : storm::solver::AbstractEquationSolver< ValueType >, storm::solver::MinMaxLinearEquationSolverRequirements
• clearCache() : storm::solver::AcyclicLinearEquationSolver< ValueType >, storm::solver::AcyclicMinMaxLinearEquationSolver< ValueType >, storm::solver::GameSolver< ValueType >, storm::solver::GmmxxLinearEquationSolver< ValueType >, storm::solver::GmmxxMultiplier< ValueType >, storm::solver::IterativeMinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::LinearEquationSolver< ValueType >, storm::solver::LpMinMaxLinearEquationSolver< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::Multiplier< ValueType >, storm::solver::NativeLinearEquationSolver< ValueType >, storm::solver::StandardGameSolver< ValueType >, storm::solver::TopologicalLinearEquationSolver< ValueType >, storm::solver::TopologicalMinMaxLinearEquationSolver< ValueType, SolutionType >
• clearChoice() : storm::storage::Scheduler< ValueType >
• clearConcreteEdges() : storm::jani::EdgeContainer
• clearIsPartOfProp() : storm::jani::JaniLocalEliminator::Session
• clearLowerBounds() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• clearOptimizationDirection() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• clearOriginOfChoice() : storm::storage::sparse::ChoiceOrigins
• clearRelevantStates() : storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• clearRelevantValues() : storm::solver::AbstractEquationSolver< ValueType >
• clearRewardAtState() : storm::models::sparse::StandardRewardModel< CValueType >
• clearStateCaches() : storm::simulator::DiscreteTimePrismProgramSimulator< ValueType >
• clearStateValues() : storm::solver::stateelimination::MultiValueStateEliminator< ValueType >, storm::solver::stateelimination::PrioritizedStateEliminator< ValueType >
• clearTerminalStates() : storm::builder::BuilderOptions
• clearUniqueSolution() : storm::solver::MinMaxLinearEquationSolverRequirements
• clearUpperBounds() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• clearValidInitialScheduler() : storm::solver::MinMaxLinearEquationSolverRequirements
• clearValueThreshold() : storm::modelchecker::helper::SingleValueModelCheckerHelper< ValueType, ModelRepresentation >
• clearVariables() : storm::parser::JaniParser< ValueType >::Scope
• clipBeliefToGrid() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• ClockType() : storm::jani::ClockType
• ClockVariable() : storm::prism::ClockVariable
• clone() : storm::dft::storage::elements::BEConst< ValueType >, storm::dft::storage::elements::BEErlang< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >, storm::dft::storage::elements::BELogNormal< ValueType >, storm::dft::storage::elements::BEProbability< ValueType >, storm::dft::storage::elements::BESamples< ValueType >, storm::dft::storage::elements::BEWeibull< ValueType >, storm::dft::storage::elements::DFTAnd< ValueType >, storm::dft::storage::elements::DFTDependency< ValueType >, storm::dft::storage::elements::DFTElement< ValueType >, storm::dft::storage::elements::DFTMutex< ValueType >, storm::dft::storage::elements::DFTOr< ValueType >, storm::dft::storage::elements::DFTPand< ValueType >, storm::dft::storage::elements::DFTPor< ValueType >, storm::dft::storage::elements::DFTSeq< ValueType >, storm::dft::storage::elements::DFTSpare< ValueType >, storm::dft::storage::elements::DFTVot< ValueType >, storm::expressions::ExpressionManager, storm::jani::ArrayType, storm::jani::Automaton, storm::jani::BasicType, storm::jani::BoundedType, storm::jani::ClockType, storm::jani::ContinuousType, storm::jani::FilterExpression, storm::jani::JaniType, storm::jani::OrderedAssignments, storm::jani::Property, storm::jani::Variable, storm::logic::CloneVisitor, storm::logic::Formula, storm::modelchecker::CheckResult, storm::modelchecker::ExplicitParetoCurveCheckResult< ValueType >, storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::LexicographicCheckResult< ValueType >, storm::modelchecker::RegionCheckResult< ValueType >, storm::modelchecker::RegionRefinementCheckResult< ValueType >, storm::modelchecker::SymbolicParetoCurveCheckResult< Type, ValueType >, storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >, storm::solver::EigenLinearEquationSolverFactory< ValueType >, storm::solver::EliminationLinearEquationSolverFactory< ValueType >, storm::solver::GeneralLinearEquationSolverFactory< ValueType >, storm::solver::GmmxxLinearEquationSolverFactory< ValueType >, storm::solver::LinearEquationSolverFactory< ValueType >, storm::solver::NativeLinearEquationSolverFactory< ValueType >, storm::solver::TopologicalLinearEquationSolverFactory< ValueType >, storm::utility::solver::GlpkLpSolverFactory< ValueType >, storm::utility::solver::GurobiLpSolverFactory< ValueType >, storm::utility::solver::LpSolverFactory< ValueType >, storm::utility::solver::SoplexLpSolverFactory< ValueType >, storm::utility::solver::Z3LpSolverFactory< ValueType >
• cloneElement() : storm::dft::builder::DFTBuilder< ValueType >
• cloneElementWithNewChildren() : storm::dft::builder::DFTBuilder< ValueType >
• cloneVariable() : storm::dd::DdManager< LibraryType >
• cloneWithNewIndexToIdentifierMapping() : storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::PrismChoiceOrigins
• close() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• collect() : storm::jani::detail::InformationCollector
• collectPointsInPolytope() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Pointset
• colourize() : storm::dft::storage::DFTColouring< ValueType >
• colourSubdft() : storm::dft::storage::DFTColouring< ValueType >
• CombinedEdgesSystemComposer() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >
• Command() : storm::prism::Command
• CommandAbstractor() : storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >
• compare() : storm::analysis::Order
• compareAgainstBound() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::QuantitativeCheckResult< ValueType >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >
• compareAndSwap() : storm::storage::BitVector
• compareEpochClass() : storm::modelchecker::helper::rewardbounded::EpochManager
• compareFast() : storm::analysis::Order
• compareRows() : storm::storage::SparseMatrix< ValueType >
• compatible() : storm::dft::storage::DFTIsomorphismCheck< ValueType >
• compatibleWith() : storm::transformer::detail::ActionIdentifier
• complement() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::QualitativeCheckResult, storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::storage::BitVector
• compose() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >, storm::builder::ModuleComposer< Type, ValueType >, storm::builder::ParallelCompositionBuilder< ValueType >, storm::builder::SystemComposer< Type, ValueType >
• ComposerResult() : storm::builder::ComposerResult< Type, ValueType >
• composeWithExplicitVector() : storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >
• Composition() : storm::prism::Composition
• CompositionInformation() : storm::jani::CompositionInformation
• CompositionInformationVisitor() : storm::jani::CompositionInformationVisitor
• CompositionJsonExporter() : storm::jani::CompositionJsonExporter
• CompositionSimplificationVisitor() : storm::jani::CompositionSimplificationVisitor
• CompositionValidityChecker() : storm::prism::CompositionValidityChecker
• CompositionVariableCreator() : storm::builder::CompositionVariableCreator< Type, ValueType >
• CompositionVariables() : storm::builder::CompositionVariables< Type, ValueType >
• compress() : storm::generator::Distribution< IndexType, ValueType >
• compute() : storm::dd::bisimulation::SignatureComputer< DdType, ValueType >, storm::dd::BisimulationDecomposition< DdType, ValueType, ExportValueType >, storm::modelchecker::helper::SparseDeterministicStepBoundedHorizonHelper< ValueType >, storm::modelchecker::helper::SparseNondeterministicStepBoundedHorizonHelper< ValueType >
• computeActionSupport() : storm::storage::Scheduler< ValueType >
• computeAllTransientProbabilities() : storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >
• computeAllUntilProbabilities() : storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >
• computeAndSetBoundsToSolver() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• computeApSets() : storm::modelchecker::helper::SparseLTLHelper< ValueType, Nondeterministic >
• computeBisimulationDecomposition() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• computeBoundedUntilProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMarkovAutomatonCslHelper, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseMarkovAutomatonCslHelper, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::UnifPlusHelper< ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeBounds() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• computeBsccReachabilityProbabilities() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeBsccReachabilityProbabilitiesClassic() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeBsccReachabilityProbabilitiesEVTs() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeCanonicalPermutation() : storm::transformer::MakePOMDPCanonic< ValueType >
• computeConditionalProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• computeConditionalRewards() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >
• computeCounterexample() : storm::counterexamples::MILPMinimalLabelSetGenerator< T >, storm::counterexamples::SMTMinimalLabelSetGenerator< T >
• computeCounterexampleLabelSet() : storm::counterexamples::SMTMinimalLabelSetGenerator< T >
• computeCumulativeRewards() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeDAProductProbabilities() : storm::modelchecker::helper::SparseLTLHelper< ValueType, Nondeterministic >
• computeDebugOutput() : storm::pomdp::MemlessSearchOptions
• computeExpectedVisitingTimes() : storm::modelchecker::helper::SparseDeterministicVisitingTimesHelper< ValueType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >
• computeExpensiveStats() : storm::settings::modules::QualitativePOMDPAnalysisSettings
• computeExtremalValue() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• computeFMSchedulerValueForMemoryNode() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeGeneratorMatrix() : storm::modelchecker::helper::SparseCtmcCslHelper
• computeGloballyProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeHOAPathProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• computeIdentifierInfos() : storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::PrismChoiceOrigins
• computeIdentifierJson() : storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::PrismChoiceOrigins
• computeInfoOutput() : storm::pomdp::MemlessSearchOptions
• computeInitialStates() : storm::modelchecker::exploration_detail::StateGeneration< StateType, ValueType >
• computeInstantaneousRewards() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeIsPartOfProp() : storm::jani::JaniLocalEliminator::Session
• computeLambda() : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• computeLambdaForChoice() : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• computeLongRunAverageProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridInfiniteHorizonHelper< ValueType, DdType, Nondeterministic >, storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SparseSmgRpatlModelChecker< SparseSmgModelType >
• computeLongRunAverageRewards() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridInfiniteHorizonHelper< ValueType, DdType, Nondeterministic >, storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SparseSmgRpatlModelChecker< SparseSmgModelType >
• computeLongRunAverageStateDistribution() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeLongRunAverageValues() : storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >
• computeLowerUpperBounds() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• computeLowerValueBoundAtBelief() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeLowerValueBoundForScheduler() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeLraForBsccGainBias() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeLraForBsccSteadyStateDistr() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeLraForBsccVi() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeLraForComponent() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >, storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >, storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• computeLraForMecLp() : storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• computeLraForMecVi() : storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• computeLraForTrivialBscc() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeLraForTrivialMec() : storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• computeLTLProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::SparseLTLHelper< ValueType, Nondeterministic >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• computeMatrixBeliefProduct() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• computeMecTraversalLowerBound() : storm::modelchecker::multiobjective::VisitingTimesHelper< ValueType >
• computeMecVisitsUpperBound() : storm::modelchecker::multiobjective::VisitingTimesHelper< ValueType >
• computeModules() : storm::dft::utility::DftModularizer< ValueType >
• computeNextProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeNrObservations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• computeNrWinningBeliefs() : storm::pomdp::WinningRegion
• computeObjectiveRewards() : storm::modelchecker::helper::rewardbounded::ProductModel< ValueType >
• computeOptimalChoicesAndReachableMdpStates() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computePlayer1Scheduler() : storm::solver::GameSolver< ValueType >
• computePlayer2Scheduler() : storm::solver::GameSolver< ValueType >
• computePriorities() : storm::dft::transformations::DftToGspnTransformator< ValueType >
• computeProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >
• computeProbabilityMatrix() : storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::SparseCtmcCslHelper, storm::models::sparse::Ctmc< ValueType, RewardModelType >, storm::models::symbolic::Ctmc< Type, ValueType >
• computeProductWithSparseMatrix() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeQualitativeResult() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• computeQualitativeResultReuse() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• computeQuantile() : storm::modelchecker::helper::rewardbounded::QuantileHelper< ModelType >
• computeQuantitativeResult() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• computeQuantitativeValues() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseMdpParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• computeRangesOfEqualValue() : storm::storage::bisimulation::Partition< DataType >
• computeReachabilityProbabilities() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::GameBasedMdpModelChecker< Type, ModelType >, storm::modelchecker::AbstractModelChecker< ModelType >
• computeReachabilityProbabilitiesHelper() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• computeReachabilityRewards() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMarkovAutomatonCslHelper, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMarkovAutomatonCslHelper, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeReachabilityTimes() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMarkovAutomatonCslHelper, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeRegionSplitEstimates() : storm::modelchecker::SparseDtmcParameterLiftingModelChecker< SparseModelType, ConstantType >
• computeRewardAtCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeRewardBoundedValues() : storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >
• computeRewards() : storm::modelchecker::AbstractModelChecker< ModelType >
• computeSccDepths() : storm::storage::StronglyConnectedComponentDecompositionOptions
• computeScheduler() : storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >, storm::solver::helper::SchedulerTrackingHelper< ValueType, SolutionType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• computeStateFormulaProbabilities() : storm::modelchecker::AbstractModelChecker< ModelType >
• computeStatesOfCoalition() : storm::models::sparse::Smg< ValueType, RewardModelType >
• computeStateToSccIndexMap() : storm::storage::StronglyConnectedComponentDecomposition< ValueType >
• computeSteadyStateDistrForBscc() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeSteadyStateDistrForBsccEqSys() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeSteadyStateDistrForBsccEVTs() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >
• computeSteadyStateDistribution() : storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >
• computeTimes() : storm::modelchecker::AbstractModelChecker< ModelType >
• computeTotalRewards() : storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMarkovAutomatonCslHelper, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >
• computeTraceOutput() : storm::pomdp::MemlessSearchOptions
• computeTransientProbabilities() : storm::modelchecker::helper::SparseCtmcCslHelper
• computeUniformizedMatrix() : storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::SparseCtmcCslHelper
• computeUntilProbabilities() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >, storm::gbar::modelchecker::GameBasedMdpModelChecker< Type, ModelType >, storm::modelchecker::AbstractModelChecker< ModelType >, storm::modelchecker::helper::HybridCtmcCslHelper, storm::modelchecker::helper::HybridDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::HybridMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SparseCtmcCslHelper, storm::modelchecker::helper::SparseDtmcPrctlHelper< ValueType, RewardModelType >, storm::modelchecker::helper::SparseMarkovAutomatonCslHelper, storm::modelchecker::helper::SparseMdpPrctlHelper< ValueType, SolutionType >, storm::modelchecker::helper::SymbolicDtmcPrctlHelper< DdType, ValueType >, storm::modelchecker::helper::SymbolicMdpPrctlHelper< DdType, ValueType >, storm::modelchecker::HybridCtmcCslModelChecker< ModelType >, storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >, storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >, storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >, storm::modelchecker::SparseCtmcCslModelChecker< SparseCtmcModelType >, storm::modelchecker::SparseDtmcEliminationModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseDtmcPrctlModelChecker< SparseDtmcModelType >, storm::modelchecker::SparseExplorationModelChecker< ModelType, StateType >, storm::modelchecker::SparseMarkovAutomatonCslModelChecker< SparseMarkovAutomatonModelType >, storm::modelchecker::SparseMdpPrctlModelChecker< SparseMdpModelType >, storm::modelchecker::SymbolicDtmcPrctlModelChecker< ModelType >, storm::modelchecker::SymbolicMdpPrctlModelChecker< ModelType >
• computeUpperBound() : storm::modelchecker::helper::BaierUpperRewardBoundsComputer< ValueType >
• computeUpperBoundOnExpectedVisitingTimes() : storm::modelchecker::helper::BaierUpperRewardBoundsComputer< ValueType >
• computeUpperBounds() : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• computeUpperBoundsOnExpectedVisitingTimes() : storm::modelchecker::multiobjective::VisitingTimesHelper< ValueType >
• computeUpperResultBound() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectiveRewardAnalysis< SparseModelType >
• computeUpperValueBoundAtBelief() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeUpperValueBoundForScheduler() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeValuesOfExploredMdp() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• computeWeightedResultBound() : storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >
• computeWinningRegion() : storm::pomdp::IterativePolicySearch< ValueType >
• concat() : storm::storage::BitVector
• ConditionalFormula() : storm::logic::ConditionalFormula
• ConditionalMetaEdge() : storm::jani::ConditionalMetaEdge
• ConditionalStateEliminator() : storm::solver::stateelimination::ConditionalStateEliminator< ValueType >
• conformsToSpecification() : storm::logic::FragmentChecker
• conjunctGuardWith() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• ConsecutiveUint64DynamicPriorityQueue() : storm::storage::ConsecutiveUint64DynamicPriorityQueue< Compare >
• const_iterator() : storm::dft::storage::FailableElements::const_iterator, storm::storage::BitVector::const_iterator
• const_reverse_iterator() : storm::storage::BitVector::const_reverse_iterator
• const_rows() : storm::storage::SparseMatrix< ValueType >::const_rows
• Constant() : storm::jani::Constant, storm::prism::Constant
• ConstantsComparator() : storm::utility::ConstantsComparator< ValueType, Enable >, storm::utility::ConstantsComparator< ValueType, ConstantsComparatorEnablePrecision< ValueType > >
• ConstEdges() : storm::jani::detail::ConstEdges
• constrain() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::gbar::abstraction::StateSetAbstractor< DdType, ValueType >, storm::gbar::abstraction::ValidBlockAbstractor< DdType >
• ConstraintCollector() : storm::analysis::ConstraintCollector< ValueType >
• construct() : storm::dft::storage::DFTState< ValueType >
• constructInitialBijection() : storm::dft::storage::DFTIsomorphismCheck< ValueType >
• constructOptimalChoices() : storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• ConstructorArrayExpression() : storm::expressions::ConstructorArrayExpression
• contains() : storm::analysis::Order, storm::automata::APSet, storm::jani::OrderedAssignments, storm::modelchecker::helper::rewardbounded::CostLimitClosure, storm::storage::BitVectorHashMap< ValueType, Hash >, storm::storage::ConsecutiveUint64DynamicPriorityQueue< Compare >, storm::storage::geometry::Halfspace< ValueType >, storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >, storm::storage::IntegerInterval
• containsAnyState() : storm::storage::MaximalEndComponent
• containsArrayVariables() : storm::jani::Model, storm::jani::VariableSet
• containsBooleanVariable() : storm::jani::VariableSet
• containsBoundedIntegerVariable() : storm::jani::VariableSet
• containsBoundedUntilFormula() : storm::logic::FormulaInformation
• containsChild() : storm::dft::storage::elements::DFTChildren< ValueType >
• containsChoice() : storm::storage::MaximalEndComponent
• containsClockVariables() : storm::jani::VariableSet
• containsComplexPathFormula() : storm::logic::FormulaInformation
• containsContinuousVariables() : storm::jani::VariableSet
• containsCumulativeRewardFormula() : storm::logic::FormulaInformation
• containsDependentEvent() : storm::dft::storage::elements::DFTDependency< ValueType >
• containsLabel() : storm::models::sparse::ItemLabeling
• containsLongRunAverageRewardFormulas() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >
• containsLongRunFormula() : storm::logic::FormulaInformation
• containsMetaVariable() : storm::dd::Dd< LibraryType >
• containsMetaVariables() : storm::dd::Dd< LibraryType >
• containsNestedParallelComposition() : storm::jani::CompositionInformation
• containsNextFormula() : storm::logic::FormulaInformation
• containsNonStandardParallelComposition() : storm::jani::CompositionInformation
• containsNonTransientRealVariables() : storm::jani::VariableSet
• containsNonTransientUnboundedIntegerVariables() : storm::jani::VariableSet
• containsOnlyTotalRewardFormulas() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >
• containsOnlyTrivialObjectives() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >
• containsParallelComposition() : storm::jani::CompositionInformation
• containsRealVariables() : storm::jani::VariableSet
• containsRewardBoundedFormula() : storm::logic::FormulaInformation
• containsRewardOperator() : storm::logic::FormulaInformation
• containsState() : storm::storage::MaximalEndComponent, storm::storage::StateBlock
• containsStateExitRewards() : storm::jani::FormulaToJaniJson
• containsUnboundedIntegerVariables() : storm::jani::VariableSet
• containsUndefinedConstants() : storm::jani::Property
• containsUpwardClosure() : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• containsVariable() : storm::expressions::Expression
• containsVariableInITEGuard() : storm::expressions::Expression
• containsVariables() : storm::expressions::BaseExpression, storm::expressions::BinaryExpression, storm::expressions::ConstructorArrayExpression, storm::expressions::Expression, storm::expressions::FunctionCallExpression, storm::expressions::IfThenElseExpression, storm::expressions::PredicateExpression, storm::expressions::UnaryExpression, storm::expressions::ValueArrayExpression, storm::expressions::VariableExpression
• containsVariablesInBoundExpressionsOrInitialValues() : storm::jani::VariableSet
• containsVariablesOnlyInProbabilitiesOrTransientAssignments() : storm::jani::Automaton
• containsVariablesOnlyInRewardValueExpressions() : storm::prism::RewardModel
• containsVariablesOnlyInUpdateProbabilities() : storm::prism::Command, storm::prism::Module
• containsZenoCycle() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• continueUnfolding() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• ContinuousType() : storm::jani::ContinuousType
• converged() : storm::solver::helper::GSVIBackend< ValueType, Dir, Relative >, storm::solver::helper::IIBackend< ValueType, Dir >, storm::solver::helper::OVIBackend< ValueType, Dir, Relative >, storm::solver::helper::RSBackend< ValueType, ExactValueType, Dir >, storm::solver::helper::SchedulerTrackingBackend< ValueType, Dir >, storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >, storm::solver::helper::VIOperatorBackend< ValueType, Dir, Relative >
• ConversionGeneralSettings() : storm::settings::modules::ConversionGeneralSettings
• ConversionInputSettings() : storm::settings::modules::ConversionInputSettings
• ConversionOutputSettings() : storm::settings::modules::ConversionOutputSettings
• convert() : storm::dft::modelchecker::DFTASFChecker, storm::prism::ToJaniConverter
• convertFromString() : storm::settings::ArgumentBase
• convertNumberRepresentation() : storm::storage::geometry::Polytope< ValueType >
• convertToCtmc() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• convertToEquationSystem() : storm::storage::SparseMatrix< ValueType >
• convertToString() : storm::settings::ArgumentBase
• convertValueType() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• convertVariableToPolynomial() : storm::builder::ParameterCreator< Type, storm::RationalFunction >
• convexUnion() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• copy() : storm::analysis::LocalMonotonicityResult< VariableType >, storm::analysis::MonotonicityResult< VariableType >, storm::analysis::Order, storm::dft::storage::DFTState< ValueType >, storm::logic::FragmentSpecification
• copyElements() : storm::dft::storage::DFT< ValueType >
• copyMinMax() : storm::analysis::OrderExtender< ValueType, ConstantType >
• CoreSettings() : storm::settings::modules::CoreSettings
• CostLimit() : storm::modelchecker::helper::rewardbounded::CostLimit
• CostLimitClosure() : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• count() : storm::dft::utility::RelevantEvents, storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::QualitativeCheckResult, storm::modelchecker::SymbolicQualitativeCheckResult< Type >
• CounterexampleGeneratorSettings() : storm::settings::modules::CounterexampleGeneratorSettings
• create() : storm::builder::CompositionVariableCreator< Type, ValueType >, storm::builder::ParameterCreator< Type, ValueType >, storm::builder::ParameterCreator< Type, storm::RationalFunction >, storm::dd::bisimulation::Partition< DdType, ValueType >, storm::modelchecker::multiobjective::WeightVectorCheckerFactory< ModelType >, storm::solver::EigenLinearEquationSolverFactory< ValueType >, storm::solver::EliminationLinearEquationSolverFactory< ValueType >, storm::solver::GameSolverFactory< ValueType >, storm::solver::GeneralLinearEquationSolverFactory< ValueType >, storm::solver::GeneralMinMaxLinearEquationSolverFactory< ValueType, SolutionType >, storm::solver::GeneralSymbolicLinearEquationSolverFactory< DdType, ValueType >, storm::solver::GeneralSymbolicMinMaxLinearEquationSolverFactory< DdType, ValueType >, storm::solver::GmmxxLinearEquationSolverFactory< ValueType >, storm::solver::LinearEquationSolverFactory< ValueType >, storm::solver::MinMaxLinearEquationSolverFactory< ValueType, SolutionType >, storm::solver::MultiplierFactory< ValueType >, storm::solver::NativeLinearEquationSolverFactory< ValueType >, storm::solver::SymbolicEliminationLinearEquationSolverFactory< DdType, ValueType >, storm::solver::SymbolicGameSolverFactory< Type, ValueType >, storm::solver::SymbolicLinearEquationSolverFactory< DdType, ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolverFactory< DdType, ValueType >, storm::solver::SymbolicNativeLinearEquationSolverFactory< DdType, ValueType >, storm::solver::TopologicalLinearEquationSolverFactory< ValueType >, storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >, storm::utility::solver::GlpkLpSolverFactory< ValueType >, storm::utility::solver::GurobiLpSolverFactory< ValueType >, storm::utility::solver::LpSolverFactory< ValueType >, storm::utility::solver::MathsatSmtSolverFactory, storm::utility::solver::SmtSolverFactory, storm::utility::solver::SoplexLpSolverFactory< ValueType >, storm::utility::solver::Z3LpSolverFactory< ValueType >, storm::utility::solver::Z3SmtSolverFactory
• createAndCheckAssumptions() : storm::analysis::AssumptionMaker< ValueType, ConstantType >
• createAndExpression() : storm::parser::ExpressionCreator
• createBackendForNextStage() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• createBackwardTransitions() : storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >
• createBooleanArgument() : storm::settings::ArgumentBuilder
• createBooleanLiteralExpression() : storm::parser::ExpressionCreator
• createDdVariables() : storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• createDecomposition() : storm::modelchecker::helper::SparseDeterministicInfiniteHorizonHelper< ValueType >, storm::modelchecker::helper::SparseInfiniteHorizonHelper< ValueType, Nondeterministic >, storm::modelchecker::helper::SparseNondeterministicInfiniteHorizonHelper< ValueType >
• createDetInfiniteHorizonHelper() : storm::modelchecker::multiobjective::StandardMaPcaaWeightVectorChecker< SparseMaModelType >, storm::modelchecker::multiobjective::StandardMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• createDoubleArgument() : storm::settings::ArgumentBuilder
• createDoubleGreaterEqualValidator() : storm::settings::ArgumentValidatorFactory
• createDoubleGreaterValidator() : storm::settings::ArgumentValidatorFactory
• createDoubleRangeValidatorExcluding() : storm::settings::ArgumentValidatorFactory
• createDoubleRangeValidatorIncluding() : storm::settings::ArgumentValidatorFactory
• createDownwardClosure() : storm::storage::geometry::Polytope< ValueType >
• createEmptyPolytope() : storm::storage::geometry::Polytope< ValueType >
• createEncodingVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• createEnvironment() : DefaultDoubleVIEnvironment
• createEqualsExpression() : storm::parser::ExpressionCreator
• createExistingFileValidator() : storm::settings::ArgumentValidatorFactory
• createFloorCeilExpression() : storm::parser::ExpressionCreator
• createInitialState() : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >
• createIntegerArgument() : storm::settings::ArgumentBuilder
• createIntegerGreaterEqualValidator() : storm::settings::ArgumentValidatorFactory
• createIntegerGreaterValidator() : storm::settings::ArgumentValidatorFactory
• createIntegerLiteralExpression() : storm::parser::ExpressionCreator
• createIntegerRangeValidatorExcluding() : storm::settings::ArgumentValidatorFactory
• createIteExpression() : storm::parser::ExpressionCreator
• createLocalMonotonicityResult() : storm::analysis::MonotonicityHelper< ValueType, ConstantType >
• createLowerBoundsVector() : storm::solver::AbstractEquationSolver< ValueType >
• createMatrixEntryStorage() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• createMatrixFromEntries() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• createMergeFailedState() : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >
• createMinimumMaximumExpression() : storm::parser::ExpressionCreator
• createMissingInitialValue() : storm::prism::BooleanVariable, storm::prism::ClockVariable, storm::prism::IntegerVariable, storm::prism::Variable
• createMissingInitialValues() : storm::prism::Module
• createMultExpression() : storm::parser::ExpressionCreator
• createMultipleChoiceValidator() : storm::settings::ArgumentValidatorFactory
• createNondetInfiniteHorizonHelper() : storm::modelchecker::multiobjective::StandardMaPcaaWeightVectorChecker< SparseMaModelType >, storm::modelchecker::multiobjective::StandardMdpPcaaWeightVectorChecker< SparseMdpModelType >, storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• createOdd() : storm::dd::Add< LibraryType, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• createOrExpression() : storm::parser::ExpressionCreator
• createPlusExpression() : storm::parser::ExpressionCreator
• createPowerModuloLogarithmExpression() : storm::parser::ExpressionCreator
• createPredicateExpression() : storm::parser::ExpressionCreator
• createRationalLiteralExpression() : storm::parser::ExpressionCreator
• createRaw() : storm::utility::solver::GlpkLpSolverFactory< ValueType >, storm::utility::solver::GurobiLpSolverFactory< ValueType >, storm::utility::solver::LpSolverFactory< ValueType >, storm::utility::solver::SoplexLpSolverFactory< ValueType >, storm::utility::solver::Z3LpSolverFactory< ValueType >
• createRegion() : storm::parser::ParameterRegionParser< ParametricType >
• createRelationalExpression() : storm::parser::ExpressionCreator
• createRoundExpression() : storm::parser::ExpressionCreator
• createSelectiveDownwardClosure() : storm::storage::geometry::Polytope< ValueType >
• createSparseHelper() : storm::modelchecker::helper::HybridInfiniteHorizonHelper< ValueType, DdType, Nondeterministic >
• createSparseMatrix() : storm::storage::FlexibleSparseMatrix< ValueType >
• createStringArgument() : storm::settings::ArgumentBuilder
• createSuccessorState() : storm::dft::generator::DftNextStateGenerator< ValueType, StateType >
• createTrivialChoicePartition() : storm::dd::bisimulation::Partition< DdType, ValueType >
• createUnaryExpression() : storm::parser::ExpressionCreator
• createUniversalPolytope() : storm::storage::geometry::Polytope< ValueType >
• createUnsignedGreaterEqualValidator() : storm::settings::ArgumentValidatorFactory
• createUnsignedGreaterValidator() : storm::settings::ArgumentValidatorFactory
• createUnsignedIntegerArgument() : storm::settings::ArgumentBuilder
• createUnsignedRangeValidatorExcluding() : storm::settings::ArgumentValidatorFactory
• createUnsignedRangeValidatorIncluding() : storm::settings::ArgumentValidatorFactory
• createUpperBoundsVector() : storm::solver::AbstractEquationSolver< ValueType >
• createVariable() : storm::dft::storage::SylvanBddManager
• createWritableFileValidator() : storm::settings::ArgumentValidatorFactory
• Ctmc() : storm::models::sparse::Ctmc< ValueType, RewardModelType >, storm::models::symbolic::Ctmc< Type, ValueType >
• CuddSettings() : storm::settings::modules::CuddSettings
• CumulativeRewardFormula() : storm::logic::CumulativeRewardFormula
• currentStateHasOldBehavior() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• currentStateHasSuccessorObservationInObservationSet() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• currentStateIsOptimalSchedulerReachable() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• currentStateToJson() : storm::generator::NextStateGenerator< ValueType, StateType >
• currentStateToSimpleValuation() : storm::generator::NextStateGenerator< ValueType, StateType >