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

- a -

• a() : storm::solver::helper::SVIBackend< ValueType, Dir, Stage, TrivialRowGrouping >
• abort() : 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 >
• absorbing() : storm::storage::bisimulation::DeterministicBlockData
• abstract() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::EdgeAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::CommandAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• AbstractAbstractionRefinementModelChecker() : storm::gbar::modelchecker::AbstractAbstractionRefinementModelChecker< ModelType >
• AbstractEquationSolver() : storm::solver::AbstractEquationSolver< ValueType >
• AbstractionInformation() : storm::gbar::abstraction::AbstractionInformation< DdType >
• AbstractionInformationOptions() : storm::gbar::abstraction::AbstractionInformationOptions
• AbstractionRefinementOptions() : storm::gbar::api::AbstractionRefinementOptions
• AbstractionSettings() : storm::settings::modules::AbstractionSettings
• AbstractValuation() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• accept() : storm::expressions::ArrayAccessExpression, storm::expressions::BaseExpression, storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::BinaryRelationExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::ConstructorArrayExpression, storm::expressions::Expression, storm::expressions::FunctionCallExpression, storm::expressions::IfThenElseExpression, storm::expressions::IntegerLiteralExpression, storm::expressions::PredicateExpression, storm::expressions::RationalLiteralExpression, storm::expressions::TranscendentalNumberLiteralExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::UnaryNumericalFunctionExpression, storm::expressions::ValueArrayExpression, storm::expressions::VariableExpression, storm::jani::AutomatonComposition, storm::jani::Composition, storm::jani::ParallelComposition, storm::logic::AtomicExpressionFormula, storm::logic::AtomicLabelFormula, storm::logic::BinaryBooleanPathFormula, storm::logic::BinaryBooleanStateFormula, storm::logic::BooleanLiteralFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::CumulativeRewardFormula, storm::logic::EventuallyFormula, storm::logic::Formula, storm::logic::GameFormula, storm::logic::GloballyFormula, storm::logic::HOAPathFormula, storm::logic::InstantaneousRewardFormula, storm::logic::LongRunAverageOperatorFormula, storm::logic::LongRunAverageRewardFormula, storm::logic::MultiObjectiveFormula, storm::logic::NextFormula, storm::logic::ProbabilityOperatorFormula, storm::logic::QuantileFormula, storm::logic::RewardOperatorFormula, storm::logic::TimeOperatorFormula, storm::logic::TotalRewardFormula, storm::logic::UnaryBooleanPathFormula, storm::logic::UnaryBooleanStateFormula, storm::logic::UntilFormula, storm::prism::Composition, storm::prism::HidingComposition, storm::prism::InterleavingParallelComposition, storm::prism::ModuleComposition, storm::prism::RenamingComposition, storm::prism::RestrictedParallelComposition, storm::prism::SynchronizingParallelComposition
• AcceptanceCondition() : storm::automata::AcceptanceCondition
• Action() : storm::jani::Action
• actionAtCurrentStateWasOptimal() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• ActionDd() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• ActionIdentification() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionIdentification
• ActionInstantiation() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiation
• actionIsOptimal() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• activate() : storm::dft::storage::DFTState< ValueType >
• ActiveCommandData() : storm::generator::ActiveCommandData
• activeFailureProbability() : storm::dft::storage::elements::BEProbability< ValueType >
• activeFailureRate() : storm::dft::storage::elements::BEErlang< ValueType >, storm::dft::storage::elements::BEExponential< ValueType >
• activeSamples() : storm::dft::storage::elements::BESamples< ValueType >
• acyclic() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• AcyclicLinearEquationSolver() : storm::solver::AcyclicLinearEquationSolver< ValueType >
• AcyclicMinMaxLinearEquationSolver() : storm::solver::AcyclicMinMaxLinearEquationSolver< ValueType >
• adaptOptions() : DefaultDoubleVIEnvironment
• add() : storm::analysis::Order, storm::automata::APSet, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionDd
• Add() : storm::dd::Add< LibraryType, ValueType >
• add() : storm::generator::Choice< ValueType, StateType >, storm::generator::Distribution< IndexType, ValueType >, storm::jani::ModelFeatures, storm::jani::OrderedAssignments, storm::solver::MathsatSmtSolver, storm::solver::SmtlibSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver, storm::storage::Distribution< ValueType, StateType >, storm::utility::Stopwatch, storm::utility::string::SimilarStrings
• addAbove() : storm::analysis::Order
• addAction() : storm::jani::JaniLocalEliminator::EliminationScheduler, storm::jani::Model
• addActionsToMatrix() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• addAlias() : storm::automata::HOAConsumerDAHeader
• addAndGate() : storm::dft::builder::DFTBuilder< ValueType >
• addAPMapping() : storm::logic::HOAPathFormula
• addArgument() : storm::settings::OptionBuilder
• addArrayAccessIndex() : storm::jani::LValue
• addAssignment() : storm::jani::TemplateEdgeDestination
• addAutomaton() : storm::jani::Model
• addBasicElementConst() : storm::dft::builder::DFTBuilder< ValueType >
• addBasicElementErlang() : storm::dft::builder::DFTBuilder< ValueType >
• addBasicElementExponential() : storm::dft::builder::DFTBuilder< ValueType >
• addBasicElementLogNormal() : storm::dft::builder::DFTBuilder< ValueType >
• addBasicElementProbability() : storm::dft::builder::DFTBuilder< ValueType >
• addBasicElementSamples() : storm::dft::builder::DFTBuilder< ValueType >
• addBasicElementWeibull() : storm::dft::builder::DFTBuilder< ValueType >
• addBE() : storm::dft::storage::FailableElements
• addBelow() : storm::analysis::Order
• addBetween() : storm::analysis::Order
• addBinaryVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addBitVectorMetaVariable() : storm::dd::DdManager< LibraryType >
• addBoundedContinuousVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addBoundedIntegerVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addChild() : storm::dft::storage::elements::DFTChildren< ValueType >
• addChoice() : storm::generator::StateBehavior< ValueType, StateType >
• addChoiceLabel() : storm::builder::StateAndChoiceInformationBuilder
• addChoiceLabelToCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• addChoiceOriginData() : storm::builder::StateAndChoiceInformationBuilder
• addClippingRewardToCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• addConstant() : storm::jani::Model
• addConstraint() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• addConstraints() : storm::expressions::EquivalenceChecker
• addContinuousVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addDependency() : storm::dft::storage::FailableElements
• addDependentEvent() : storm::dft::storage::elements::DFTDependency< ValueType >
• addDestination() : storm::jani::TemplateEdge
• addDiagonalEntry() : storm::storage::SparseMatrixBuilder< ValueType >
• addedAllGuards() : storm::gbar::abstraction::MenuGameRefiner< Type, ValueType >
• addEdge() : storm::jani::Automaton
• addEdgeImplicit() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• addEdgeWithLabel() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader
• addExpression() : storm::dd::bisimulation::PreservationInformation< DdType, ValueType >, storm::gbar::abstraction::LocalExpressionInformation< DdType >
• AddExpressionAdapter() : storm::adapters::AddExpressionAdapter< Type, ValueType >
• addExpressionVariable() : storm::gbar::abstraction::AbstractionInformation< DdType >
• addFunctionDefinition() : storm::jani::Automaton, storm::jani::Model
• addIdentifierExpression() : storm::parser::FormulaParser, storm::parser::FormulaParserGrammar
• addImmediateFailedBE() : storm::dft::storage::DFTStateGenerationInfo
• addImmediateTransition() : storm::gspn::GspnBuilder
• addIndicatorConstraint() : storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >
• addIngoingDependency() : storm::dft::storage::elements::DFTBE< ValueType >
• addInhibitionArc() : storm::gspn::GspnBuilder
• addInitialLocation() : storm::jani::Automaton
• addInputArc() : storm::gspn::GspnBuilder
• addInputEnabledActionIndex() : storm::jani::CompositionInformation
• addIntegerVariable() : storm::solver::LpSolver< ValueType, RawMode >
• AddIterator() : storm::dd::AddIterator< DdType::CUDD, ValueType >, storm::dd::AddIterator< DdType::Sylvan, ValueType >
• additionalDotStateInfo() : storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::Pomdp< ValueType, RewardModelType >
• additionalInfo() : storm::exceptions::BaseException
• addLabel() : storm::builder::BuilderOptions, storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::dd::bisimulation::PreservationInformation< DdType, ValueType >, storm::generator::Choice< ValueType, StateType >, storm::models::sparse::ItemLabeling, storm::prism::Program
• addLabels() : storm::generator::Choice< ValueType, StateType >
• addLabelToChoice() : storm::models::sparse::ChoiceLabeling
• addLabelToItem() : storm::models::sparse::ItemLabeling
• addLabelToState() : storm::models::sparse::StateLabeling
• addLayoutInfo() : storm::dft::builder::DFTBuilder< ValueType >
• addLocation() : storm::jani::Automaton
• addLocationVariables() : storm::gbar::abstraction::AbstractionInformation< DdType >
• addLowerBoundedContinuousVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addLowerBoundedIntegerVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addMarkovianState() : storm::builder::StateAndChoiceInformationBuilder
• addMatrixEntry() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• addMetaVariable() : storm::dd::Dd< LibraryType >, storm::dd::DdManager< LibraryType >
• addMetaVariables() : storm::dd::Dd< LibraryType >
• addMiscHeader() : storm::automata::HOAConsumerDAHeader
• addMissingGuards() : storm::jani::JaniLocalEliminator::Session
• addModule() : storm::settings::SettingsManager
• addMonotonicityResult() : storm::analysis::MonotonicityResult< VariableType >
• addMultiplicityMap() : storm::jani::CompositionInformation
• addMutex() : storm::dft::builder::DFTBuilder< ValueType >
• addNextValue() : storm::storage::SparseMatrixBuilder< ValueType >
• addNonSilentActionIndex() : storm::jani::CompositionInformation
• addNonSilentActionIndices() : storm::jani::CompositionInformation
• addNonTrivialRewardExpression() : storm::jani::Model
• addNormalArc() : storm::gspn::GspnBuilder
• addObservationLabel() : storm::storage::sparse::StateValuationsBuilder
• addOption() : storm::settings::modules::ModuleSettings
• addOrGate() : storm::dft::builder::DFTBuilder< ValueType >
• addOriginData() : storm::generator::Choice< ValueType, StateType >
• addOutgoingDependency() : storm::dft::storage::elements::DFTElement< ValueType >
• addOutputArc() : storm::gspn::GspnBuilder
• addPandGate() : storm::dft::builder::DFTBuilder< ValueType >
• addParameter() : storm::parser::ValueParser< ValueType >
• addParameterLower() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• addParameters() : storm::models::symbolic::Model< Type, CValueType >
• addParameterUnspecified() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• addParameterUpper() : storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation
• addParent() : storm::dft::storage::elements::DFTElement< ValueType >
• addPath() : storm::counterexamples::PathCounterexample< ValueType >
• addPdep() : storm::dft::builder::DFTBuilder< ValueType >
• addPlace() : storm::gspn::GspnBuilder
• addPoint() : storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Facet, storm::modelchecker::multiobjective::DeterministicSchedsParetoExplorer< SparseModelType, GeometryValueType >::Pointset
• addPorGate() : storm::dft::builder::DFTBuilder< ValueType >
• addPredicates() : storm::gbar::abstraction::AbstractionInformation< DdType >, storm::gbar::abstraction::RefinementPredicates
• addProbability() : storm::generator::Choice< ValueType, StateType >, storm::storage::Distribution< ValueType, StateType >
• addProperties() : storm::automata::HOAConsumerDAHeader
• addReachableState() : storm::storage::SparseModelMemoryProduct< ValueType, RewardModelType >
• addRelation() : storm::analysis::Order
• addRelationNodes() : storm::analysis::Order
• addRestriction() : storm::dft::storage::elements::DFTElement< ValueType >
• addReward() : storm::generator::Choice< ValueType, StateType >
• addRewardModel() : storm::builder::BuilderOptions, storm::dd::bisimulation::PreservationInformation< DdType, ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >
• addRewards() : storm::generator::Choice< ValueType, StateType >
• addRewardThresholdCombination() : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::CexInput
• addRewardToCurrentState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• addSelfloopTransition() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• addSequenceEnforcer() : storm::dft::builder::DFTBuilder< ValueType >
• addSpareActivationIndex() : storm::dft::storage::DFTStateGenerationInfo
• addSpareGate() : storm::dft::builder::DFTBuilder< ValueType >
• addSpareUsageIndex() : storm::dft::storage::DFTStateGenerationInfo
• addStartStates() : storm::automata::HOAConsumerDAHeader
• addState() : storm::automata::HOAConsumerDA, storm::automata::HOAConsumerDAHeader, storm::storage::MaximalEndComponent, storm::storage::sparse::StateValuationsBuilder
• addStateActionReward() : storm::builder::RewardModelBuilder< ValueType >
• addStateIndex() : storm::dft::storage::DFTStateGenerationInfo
• addStatePlayerIndication() : storm::builder::StateAndChoiceInformationBuilder
• addStateReward() : storm::builder::RewardModelBuilder< ValueType >, storm::generator::StateBehavior< ValueType, StateType >
• addStateRewards() : storm::generator::StateBehavior< ValueType, StateType >
• addStateSorted() : storm::analysis::Order
• addStateToHandle() : storm::analysis::Order
• addStateValuation() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >
• addSymmetry() : storm::dft::storage::DFTStateGenerationInfo
• addTargetStates() : storm::pomdp::WinningRegion
• addTerminalExpression() : storm::builder::BuilderOptions
• addTerminalLabel() : storm::builder::BuilderOptions
• addTerminalState() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• addTerminalStates() : storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >
• addTimedTransition() : storm::gspn::GspnBuilder
• addToDistribution() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• addToLhs() : storm::solver::RawLpConstraint< ValueType >
• addToNode() : storm::analysis::Order
• addToTime() : storm::utility::Stopwatch
• addToValue() : storm::generator::DistributionEntry< StateType, ValueType >
• addTransientAssignment() : storm::jani::Location, storm::jani::TemplateEdge
• addTransientVariable() : storm::builder::JaniGSPNBuilder
• addTransitionsToExtraStates() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• addTransitionToBelief() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• addUnboundedContinuousVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addUnboundedIntegerVariable() : storm::solver::LpSolver< ValueType, RawMode >
• AddUncertainty() : storm::transformer::AddUncertainty< ValueType >
• addUnexploredState() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• addUniqueLabel() : storm::models::sparse::ItemLabeling
• addUpperBoundedContinuousVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addUpperBoundedIntegerVariable() : storm::solver::LpSolver< ValueType, RawMode >
• addVariable() : storm::jani::Automaton, storm::jani::elimination_actions::UnfoldDependencyGraph::VariableGroup, storm::jani::Model, storm::jani::VariableSet, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >, storm::storage::sparse::StateValuationsBuilder
• addVotingGate() : storm::dft::builder::DFTBuilder< ValueType >
• adjustActions() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• affineTransformation() : storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• allAboveBelow() : storm::analysis::Order
• allChildrenBEs() : storm::dft::storage::elements::DFTRestriction< ValueType >
• allDown() : storm::solver::helper::OVIBackend< ValueType, Dir, Relative >
• allocateAuxiliaryVector() : storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >
• allowDynamicReordering() : storm::dd::DdManager< LibraryType >, storm::dd::InternalDdManager< DdType::CUDD >, storm::dd::InternalDdManager< DdType::Sylvan >
• allowPostSimplifications() : storm::settings::modules::ToParametricSettings
• allSat() : storm::solver::MathsatSmtSolver, storm::solver::SmtSolver, storm::solver::Z3SmtSolver
• allUp() : storm::solver::helper::OVIBackend< ValueType, Dir, Relative >
• alphabetSize() : storm::automata::APSet
• analyse() : storm::analysis::UniqueObservationStates< ValueType >
• analyseProb0() : storm::analysis::QualitativeAnalysisOnGraphs< ValueType >
• analyseProb1() : storm::analysis::QualitativeAnalysisOnGraphs< ValueType >
• analyseProb1Max() : storm::analysis::QualitativeAnalysisOnGraphs< ValueType >
• analyseProbSmaller1() : storm::analysis::QualitativeAnalysisOnGraphs< ValueType >
• analyze() : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectiveRewardAnalysis< SparseModelType >, storm::pomdp::IterativePolicySearch< ValueType >
• analyzeForInitialStates() : storm::pomdp::IterativePolicySearch< ValueType >, storm::pomdp::OneShotPolicySearch< ValueType >
• analyzeRegion() : storm::modelchecker::RegionModelChecker< ParametricType >, storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >, storm::modelchecker::ValidatingSparseParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >
• analyzeRegions() : storm::modelchecker::RegionModelChecker< ParametricType >
• analyzeSingleObjective() : storm::modelchecker::helper::rewardbounded::EpochModel< ValueType, SingleObjectiveMode >
• And() : storm::dft::modelchecker::And
• andExists() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• apply() : storm::ps::SubMDPPermissiveScheduler< RM >, storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >
• ApplyFiniteSchedulerToPomdp() : storm::transformer::ApplyFiniteSchedulerToPomdp< ValueType >
• applyHintsToPreciseChecker() : storm::modelchecker::ValidatingSparseDtmcParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >, storm::modelchecker::ValidatingSparseMdpParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >, storm::modelchecker::ValidatingSparseParameterLiftingModelChecker< SparseModelType, ImpreciseType, PreciseType >
• applyInPlace() : storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >
• applyInPlaceRobust() : storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >
• applyPermutationOnPomdp() : storm::transformer::MakePOMDPCanonic< ValueType >
• applyRenaming() : storm::prism::ToJaniConverter
• applyRobust() : storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >
• applyScheduler() : storm::models::sparse::NondeterministicModel< ValueType, RewardModelType >
• applyUpdate() : 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 >
• APSet() : storm::automata::APSet
• area() : storm::storage::ParameterRegion< ParametricType >
• areActionsReused() : storm::jani::ParallelComposition
• areAtomicExpressionFormulasAllowed() : storm::logic::FragmentSpecification
• areAtomicLabelFormulasAllowed() : storm::logic::FragmentSpecification
• areBinaryBooleanPathFormulasAllowed() : storm::logic::FragmentSpecification
• areBinaryBooleanStateFormulasAllowed() : storm::logic::FragmentSpecification
• areBooleanLiteralFormulasAllowed() : storm::logic::FragmentSpecification
• areBoundedUntilFormulasAllowed() : storm::logic::FragmentSpecification
• areConditionalProbabilityFormulasAllowed() : storm::logic::FragmentSpecification
• areConditionalRewardFormulasFormulasAllowed() : storm::logic::FragmentSpecification
• areCumulativeRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areDependenciesUnfoldable() : storm::jani::elimination_actions::UnfoldDependencyGraph
• areEquivalent() : storm::expressions::EquivalenceChecker
• areEquivalentModuloNegation() : storm::expressions::EquivalenceChecker
• areGameFormulasAllowed() : storm::logic::FragmentSpecification
• areGloballyFormulasAllowed() : storm::logic::FragmentSpecification
• areHOAPathFormulasAllowed() : storm::logic::FragmentSpecification
• areInconsequentialParametersOmitted() : storm::settings::modules::DerivativeSettings
• areInstantaneousRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areJaniPropertiesSelected() : storm::settings::modules::ConversionInputSettings, storm::settings::modules::IOSettings
• areLinear() : storm::jani::OrderedAssignments
• areLongRunAverageOperatorsAllowed() : storm::logic::FragmentSpecification
• areLongRunAverageRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areMultiDimensionalBoundedUntilFormulasAllowed() : storm::logic::FragmentSpecification
• areMultiDimensionalCumulativeRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areMultiObjectiveFormulasAllowed() : storm::logic::FragmentSpecification
• areNestedMultiObjectiveFormulasAllowed() : storm::logic::FragmentSpecification
• areNestedOperatorsAllowed() : storm::logic::FragmentSpecification
• areNestedOperatorsInsideMultiObjectiveFormulasAllowed() : storm::logic::FragmentSpecification
• areNestedPathFormulasAllowed() : storm::logic::FragmentSpecification
• areNextFormulasAllowed() : storm::logic::FragmentSpecification
• areOnlyEventuallyFormuluasInConditionalFormulasAllowed() : storm::logic::FragmentSpecification
• areOperatorsAtTopLevelOfMultiObjectiveFormulasRequired() : storm::logic::FragmentSpecification
• areProbabilityOperatorsAllowed() : storm::logic::FragmentSpecification
• areQualitativeOperatorResultsAllowed() : storm::logic::FragmentSpecification
• areQuantileFormulasAllowed() : storm::logic::FragmentSpecification
• areQuantitativeOperatorResultsAllowed() : storm::logic::FragmentSpecification
• areReachabilityProbabilityFormulasAllowed() : storm::logic::FragmentSpecification
• areReachabilityRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areReachbilityTimeFormulasAllowed() : storm::logic::FragmentSpecification
• areRelated() : storm::gbar::abstraction::LocalExpressionInformation< DdType >
• areRelevantEventsSet() : storm::dft::settings::modules::FaultTreeSettings
• areRewardBoundedCumulativeRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areRewardBoundedUntilFormulasAllowed() : storm::logic::FragmentSpecification
• areRewardOperatorsAllowed() : storm::logic::FragmentSpecification
• areSame() : storm::expressions::Expression
• areStepBoundedCumulativeRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areStepBoundedUntilFormulasAllowed() : storm::logic::FragmentSpecification
• areTimeBoundedCumulativeRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areTimeBoundedUntilFormulasAllowed() : storm::logic::FragmentSpecification
• areTimeOperatorsAllowed() : storm::logic::FragmentSpecification
• areTotalRewardFormulasAllowed() : storm::logic::FragmentSpecification
• areTransitionRewardsLiftable() : storm::logic::LiftableTransitionRewardsVisitor
• areUnaryBooleanPathFormulasAllowed() : storm::logic::FragmentSpecification
• areUnaryBooleanStateFormulasAllowed() : storm::logic::FragmentSpecification
• areUntilFormulasAllowed() : storm::logic::FragmentSpecification
• Argument() : storm::settings::Argument< T >
• ArgumentBase() : storm::settings::ArgumentBase
• ArrayAccessExpression() : storm::expressions::ArrayAccessExpression
• arrayAccessHelper() : storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
• ArrayEliminator() : storm::jani::ArrayEliminator
• ArrayEliminatorDataCollector() : storm::jani::detail::ArrayEliminatorDataCollector
• ArrayExpression() : storm::expressions::ArrayExpression
• ArrayExpressionEliminationVisitor() : storm::jani::detail::ArrayExpressionEliminationVisitor
• arrayExpressionHelper() : storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
• arrayExprHelper() : storm::jani::detail::ArrayExpressionEliminationVisitor
• arrayIndexContainsVariable() : storm::jani::LValue
• ArrayReplacementsCollectorExpressionVisitor() : storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
• ArrayType() : storm::expressions::ArrayType, storm::jani::ArrayType
• arrayVariableAccessHelper() : storm::jani::detail::ArrayReplacementsCollectorExpressionVisitor
• ArrayVariableReplacementInformation() : storm::generator::ArrayVariableReplacementInformation
• ArrayVariableReplacer() : storm::jani::detail::ArrayVariableReplacer
• as() : storm::models::ModelBase
• asAdd() : storm::dd::bisimulation::Partition< DdType, ValueType >
• asArrayType() : storm::jani::JaniType
• asAtomicExpressionFormula() : storm::logic::Formula
• asAtomicLabelFormula() : storm::logic::Formula
• asAutomatonComposition() : storm::jani::Composition
• asBasicType() : storm::jani::JaniType
• asBdd() : storm::dd::bisimulation::Partition< DdType, ValueType >
• asBE() : storm::dft::storage::FailableElements::const_iterator
• asBinaryBooleanFunctionExpression() : storm::expressions::BaseExpression
• asBinaryBooleanStateFormula() : storm::logic::Formula
• asBinaryNumericalFunctionExpression() : storm::expressions::BaseExpression
• asBinaryPathFormula() : storm::logic::Formula
• asBinaryRelationExpression() : storm::expressions::BaseExpression
• asBinaryStateFormula() : storm::logic::Formula
• asBool() : storm::expressions::ExpressionEvaluatorBase< RationalReturnType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >
• asBooleanLiteralExpression() : storm::expressions::BaseExpression
• asBooleanLiteralFormula() : storm::logic::Formula
• asBoundedType() : storm::jani::JaniType
• asBoundedUntilFormula() : storm::logic::Formula
• asChoiceLabeling() : storm::models::sparse::ItemLabeling
• asClockType() : storm::jani::JaniType
• asConditionalFormula() : storm::logic::Formula
• asContinuousType() : storm::jani::JaniType
• asCumulativeRewardFormula() : storm::logic::Formula
• asDependency() : storm::dft::storage::FailableElements::const_iterator
• asEventuallyFormula() : storm::logic::Formula
• asExplicitModelCheckerHint() : storm::modelchecker::ModelCheckerHint
• asExplicitParetoCurveCheckResult() : storm::modelchecker::CheckResult
• asExplicitQualitativeCheckResult() : storm::modelchecker::CheckResult
• asExplicitQualitativeGameResult() : storm::gbar::abstraction::ExplicitQualitativeResult
• asExplicitQualitativeResult() : storm::gbar::abstraction::QualitativeResult
• asExplicitQuantitativeCheckResult() : storm::modelchecker::CheckResult
• asExpression() : storm::builder::TerminalStates
• asExprtkCompiledExpression() : storm::expressions::CompiledExpression
• asGameFormula() : storm::logic::Formula
• asGloballyFormula() : storm::logic::Formula
• asHOAPathFormula() : storm::logic::Formula
• asHybridQuantitativeCheckResult() : storm::modelchecker::CheckResult
• asIfThenElseExpression() : storm::expressions::BaseExpression
• asInstantaneousRewardFormula() : storm::logic::Formula
• asInt() : storm::expressions::ExpressionEvaluatorBase< RationalReturnType >, storm::expressions::ExprtkExpressionEvaluatorBase< RationalType >
• asIntegerLiteralExpression() : storm::expressions::BaseExpression
• asJaniChoiceOrigins() : storm::storage::sparse::ChoiceOrigins
• asJaniModel() : storm::storage::SymbolicModelDescription
• asLexicographicCheckResult() : storm::modelchecker::CheckResult
• asLongRunAverageOperatorFormula() : storm::logic::Formula
• asLongRunAverageRewardFormula() : storm::logic::Formula
• asMultiObjectiveFormula() : storm::logic::Formula
• asNextFormula() : storm::logic::Formula
• asOperatorFormula() : storm::logic::Formula
• asParallelComposition() : storm::jani::Composition
• asPathFormula() : storm::logic::Formula
• asPolytope() : storm::storage::geometry::Hyperrectangle< ValueType >
• asPredicateExpression() : storm::expressions::BaseExpression
• asPrismChoiceOrigins() : storm::storage::sparse::ChoiceOrigins
• asPrismProgram() : storm::storage::SymbolicModelDescription
• asPrismSyntax() : storm::jani::Property
• asProbabilityOperatorFormula() : storm::logic::Formula
• asQualitativeCheckResult() : storm::modelchecker::CheckResult
• asQuantileFormula() : storm::logic::Formula
• asQuantitativeCheckResult() : storm::modelchecker::CheckResult
• asRational() : storm::expressions::ExpressionEvaluatorBase< RationalReturnType >, storm::expressions::ExprtkExpressionEvaluator
• asRationalLiteralExpression() : storm::expressions::BaseExpression
• asReachabilityProbabilityFormula() : storm::logic::Formula
• asReachabilityRewardFormula() : storm::logic::Formula
• asReachabilityTimeFormula() : storm::logic::Formula
• asRewardOperatorFormula() : storm::logic::Formula
• assertValid() : storm::jani::Edge
• asSet() : storm::jani::ModelFeatures
• asSharedPointer() : storm::dd::DdManager< LibraryType >, storm::logic::Formula
• Assignment() : storm::jani::Assignment, storm::prism::Assignment
• AssignmentLevelFinder() : storm::jani::AssignmentLevelFinder
• AssignmentsFinder() : storm::jani::AssignmentsFinder
• assignRowToState() : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• assignStateToNextRowGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• assignStateToRowGroup() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• asStateFormula() : storm::logic::Formula
• asStateLabeling() : storm::models::sparse::ItemLabeling
• asString() : storm::expressions::TranscendentalNumberLiteralExpression
• AssumptionChecker() : storm::analysis::AssumptionChecker< ValueType, ConstantType >
• AssumptionMaker() : storm::analysis::AssumptionMaker< ValueType, ConstantType >
• asSymbolicParetoCurveCheckResult() : storm::modelchecker::CheckResult
• asSymbolicQualitativeCheckResult() : storm::modelchecker::CheckResult
• asSymbolicQualitativeResult() : storm::gbar::abstraction::QualitativeResult
• asSymbolicQualitativeResultMinMax() : storm::gbar::abstraction::QualitativeResultMinMax
• asSymbolicQuantitativeCheckResult() : storm::modelchecker::CheckResult
• asSymbolicStateSet() : storm::gbar::abstraction::StateSet
• asTimeOperatorFormula() : storm::logic::Formula
• asTotalRewardFormula() : storm::logic::Formula
• asUnaryBooleanFunctionExpression() : storm::expressions::BaseExpression
• asUnaryBooleanStateFormula() : storm::logic::Formula
• asUnaryNumericalFunctionExpression() : storm::expressions::BaseExpression
• asUnaryPathFormula() : storm::logic::Formula
• asUnaryStateFormula() : storm::logic::Formula
• asUntilFormula() : storm::logic::Formula
• asVariableExpression() : storm::expressions::BaseExpression
• at() : storm::expressions::ArrayExpression, storm::expressions::ConstructorArrayExpression, storm::expressions::ValueArrayExpression, storm::jani::ArrayEliminatorData::Replacement, storm::storage::sparse::StateValuations
• AtomicExpressionFormula() : storm::logic::AtomicExpressionFormula
• AtomicLabelFormula() : storm::logic::AtomicLabelFormula
• AutomaticAction() : storm::jani::elimination_actions::AutomaticAction
• AutomaticSettings() : storm::utility::AutomaticSettings
• Automaton() : storm::jani::Automaton
• AutomatonAbstractor() : storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >
• AutomatonComposition() : storm::jani::AutomatonComposition
• AutomatonDd() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::AutomatonDd
• average() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::QuantitativeCheckResult< ValueType >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >