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

- h -

• Halfspace() : storm::storage::geometry::Halfspace< ValueType >
• handleUnknownOption() : storm::settings::SettingsManager
• has() : storm::dft::storage::BijectionCandidates< ValueType >
• has_value() : storm::OptionalRef< T >
• hasAction() : storm::jani::Model, storm::prism::Program
• hasActionIndex() : storm::prism::Module
• hasActionRewards() : storm::jani::RewardModelInformation
• hasArrays() : storm::jani::ModelFeatures
• hasAssignment() : storm::jani::EdgeDestination, storm::jani::TemplateEdgeDestination
• hasAssignments() : storm::jani::TemplateEdgeDestination
• hasAutomaton() : storm::jani::Model
• hasBE() : storm::dft::storage::BijectionCandidates< ValueType >
• hasBEs() : storm::dft::storage::FailableElements
• hasBitVectorType() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::Variable
• hasBooleanType() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::Variable
• hasBottomDimension() : storm::modelchecker::helper::rewardbounded::EpochManager
• hasBottomDimensionEpochClass() : storm::modelchecker::helper::rewardbounded::EpochManager
• hasBound() : storm::logic::OperatorFormula
• hasChangedStates() : storm::dd::bisimulation::Partition< DdType, ValueType >
• hasChoiceLabeling() : storm::models::sparse::Model< CValueType, CRewardModelType >
• hasChoiceOrigins() : storm::models::sparse::Model< CValueType, CRewardModelType >
• hasCompiledExpression() : storm::expressions::Expression
• hasComputedValues() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• hasConstant() : storm::jani::Model, storm::prism::Program
• hasConstantInitialStateValue() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• hasConstraint() : storm::jani::Constant
• hasConverged() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• hasCustomTerminationCondition() : storm::solver::AbstractEquationSolver< ValueType >
• hasDefinedChoice() : storm::storage::ExplicitGameStrategy
• hasDep() : storm::dft::storage::BijectionCandidates< ValueType >
• hasDependencies() : storm::dft::storage::FailableElements
• hasDerivedOperators() : storm::jani::ModelFeatures
• hasDirection() : storm::solver::SolveGoal< ValueType, SolutionType >
• hasEdgeDestinationAssignments() : storm::jani::TemplateEdge
• hasEdgeLabeledWithActionIndex() : storm::jani::Automaton
• hasEnabledCriticalRequirement() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• hasEnabledRequirement() : storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements
• hasExpressionVariable() : storm::prism::Formula
• hasFailed() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::DFTState< ValueType >
• hasFailedChild() : storm::dft::storage::elements::DFTChildren< ValueType >
• hasFailsafeChild() : storm::dft::storage::elements::DFTChildren< ValueType >
• hasFMSchedulerValues() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• hasFunctions() : storm::jani::ModelFeatures
• hasGate() : storm::dft::storage::BijectionCandidates< ValueType >
• hasGlobalVariable() : storm::jani::Model
• hash() : storm::generator::ObservationDenseBeliefState< ValueType >, storm::generator::SparseBeliefState< ValueType >, storm::models::sparse::ItemLabeling, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::Pomdp< ValueType, RewardModelType >, storm::models::sparse::StandardRewardModel< CValueType >, storm::storage::sparse::ChoiceOrigins, storm::storage::sparse::JaniChoiceOrigins, storm::storage::sparse::PrismChoiceOrigins, storm::storage::sparse::StateValuations, storm::storage::SparseMatrix< ValueType >
• hasHigh() : storm::dd::DdMetaVariable< LibraryType >
• hasHybridStates() : storm::models::symbolic::MarkovAutomaton< Type, ValueType >
• hasInfiniteServerSemantics() : storm::gspn::TimedTransition< RateType >
• hasIngoingDependencies() : storm::dft::storage::elements::DFTBE< ValueType >
• hasInitExpression() : storm::jani::Variable
• hasInitialConstruct() : storm::prism::Program
• hasInitialScheduler() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• hasInitialStatesRange() : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >
• hasInitialStatesRestriction() : storm::jani::Automaton, storm::jani::Model
• hasInitialValue() : storm::prism::Variable
• hasIntegerBound() : storm::logic::CumulativeRewardFormula, storm::logic::InstantaneousRewardFormula
• hasIntegerLowerBound() : storm::logic::BoundedUntilFormula
• hasIntegerType() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::Variable
• hasIntegerUpperBound() : storm::logic::BoundedUntilFormula
• hasInvariant() : storm::prism::Module
• hasKServerSemantics() : storm::gspn::TimedTransition< RateType >
• hasLabel() : storm::gbar::abstraction::MenuGame< Type, ValueType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program
• hasLabels() : storm::generator::Choice< ValueType, StateType >
• hasLeftBound() : storm::storage::IntegerInterval
• hasLocation() : storm::jani::Automaton
• hasLoops() : storm::jani::JaniLocalEliminator::Session
• hasLowerBound() : storm::jani::BoundedType, storm::jani::PropertyInterval, storm::logic::BoundedUntilFormula, storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• hasLowerBoundExpression() : storm::prism::IntegerVariable
• hasLowerBounds() : storm::solver::SymbolicEquationSolver< DdType, ValueType >
• hasLowerResultBound() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• hasMaybeStates() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >
• hasMetaVariable() : storm::dd::DdManager< LibraryType >
• hasModel() : storm::storage::SymbolicModelDescription
• hasModule() : storm::prism::Program, storm::settings::SettingsManager
• hasModuleWithInnerActionOverlap() : storm::prism::OverlappingGuardAnalyser
• hasMultiDimensionalSubformulas() : storm::logic::BoundedUntilFormula
• hasMultipleLevels() : storm::jani::OrderedAssignments
• hasNamedActions() : storm::jani::JaniLocalEliminator::Session
• hasNext() : storm::dd::bisimulation::SignatureIterator< DdType, ValueType >, storm::solver::stateelimination::DynamicStatePriorityQueue< ValueType >, storm::solver::stateelimination::StatePriorityQueue, storm::solver::stateelimination::StaticStatePriorityQueue
• hasNextBlock() : storm::storage::bisimulation::Block< DataType >
• hasNoEndComponents() : storm::modelchecker::helper::SparseMdpHintType< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• hasNonBinaryDependency() : storm::dft::transformations::DftTransformer< ValueType >
• hasNonGlobalTransientVariable() : storm::jani::Model
• hasNonSilentActionIndex() : storm::jani::CompositionInformation
• hasNonTrivialInitialStates() : storm::jani::Automaton, storm::jani::Model
• hasNonTrivialRewardExpression() : storm::jani::Model
• hasNumericalResult() : storm::logic::MultiObjectiveFormula, storm::logic::QuantileFormula
• hasNumericalType() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::Variable
• hasObservationValuations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• hasOnlyExponentialDistributions() : storm::dft::transformations::DftTransformer< ValueType >
• hasOnlyPositiveEntries() : storm::storage::SparseMatrix< ValueType >
• hasOnlyStateRewards() : storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• hasOnlyStaticParents() : storm::dft::storage::elements::DFTElement< ValueType >
• hasOnlyTrivialNondeterminism() : storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >
• hasOperationalRelevantEvent() : storm::dft::storage::DFTState< ValueType >
• hasOperationModeBeenSet() : storm::settings::modules::ParametricSettings
• hasOptimalityType() : storm::logic::OperatorFormula
• hasOptimalValueGuaranteeBeenSet() : storm::settings::modules::FeasibilitySettings
• hasOriginData() : storm::generator::Choice< ValueType, StateType >
• hasOutgoingDependencies() : storm::dft::storage::elements::DFTElement< ValueType >
• hasOutOfBoundsBit() : storm::generator::VariableInformation
• hasOverApproximation() : storm::modelchecker::ParetoCurveCheckResult< ValueType >
• hasParameters() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• hasParents() : storm::dft::storage::elements::DFTElement< ValueType >
• hasParetoCurveResult() : storm::logic::MultiObjectiveFormula, storm::logic::QuantileFormula
• hasPlayer1Strategy() : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >, storm::utility::graph::SymbolicGameProb01Result< Type >
• hasPlayer2ChoiceLabeling() : storm::models::sparse::StochasticTwoPlayerGame< ValueType, RewardModelType >
• hasPlayer2Strategy() : storm::gbar::abstraction::SymbolicQuantitativeGameResult< Type, ValueType >, storm::utility::graph::SymbolicGameProb01Result< Type >
• hasPlayerIndex() : storm::generator::Choice< ValueType, StateType >
• hasPredicate() : storm::gbar::abstraction::AbstractionInformation< DdType >
• hasPreorderNumber() : storm::storage::SccDecompositionMemoryCache
• hasPreviousBlock() : storm::storage::bisimulation::Block< DataType >
• hasQualitativeResult() : storm::logic::BinaryPathFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::Formula, storm::logic::GameFormula, storm::logic::HOAPathFormula, storm::logic::MultiObjectiveFormula, storm::logic::OperatorFormula, storm::logic::UnaryPathFormula
• hasQuantitativeResult() : storm::logic::BinaryPathFormula, storm::logic::BoundedUntilFormula, storm::logic::ConditionalFormula, storm::logic::Formula, storm::logic::GameFormula, storm::logic::HOAPathFormula, storm::logic::MultiObjectiveFormula, storm::logic::OperatorFormula, storm::logic::QuantileFormula, storm::logic::UnaryPathFormula
• hasRate() : storm::jani::Edge
• hasRationalType() : storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::Variable
• hasRelevantStates() : storm::modelchecker::helper::ModelCheckerHelper< VT, ModelRepresentation >
• hasRelevantValues() : storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SolveGoal< ValueType, SolutionType >
• hasRepresentant() : storm::dft::storage::DFT< ValueType >
• hasRepresentativeState() : storm::storage::bisimulation::DeterministicBlockData
• hasRestrictedCapacity() : storm::gspn::Place
• hasRestrictedInitialStates() : storm::jani::Automaton
• hasRestriction() : storm::dft::storage::BijectionCandidates< ValueType >
• hasRestrictions() : storm::dft::storage::elements::DFTElement< ValueType >
• hasResultHint() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >
• hasRewardAccumulation() : storm::logic::CumulativeRewardFormula, storm::logic::EventuallyFormula, storm::logic::LongRunAverageRewardFormula, storm::logic::TimeBoundReference, storm::logic::TotalRewardFormula
• hasRewardModel() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >, storm::prism::Program
• hasRewardModelName() : storm::logic::RewardOperatorFormula, storm::logic::TimeBoundReference
• hasRewards() : storm::storage::bisimulation::DeterministicBlockData
• hasRightBound() : storm::storage::IntegerInterval
• hasSameColour() : storm::dft::storage::DFTColouring< ValueType >
• hasSccDepth() : storm::storage::StronglyConnectedComponentDecomposition< ValueType >
• hasScheduler() : storm::modelchecker::CheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::helper::MaybeStateResult< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• hasSchedulerHint() : storm::modelchecker::ExplicitModelCheckerHint< ValueType >, storm::modelchecker::helper::SparseMdpHintType< ValueType >
• hasSchedulerHints() : storm::solver::GameSolver< ValueType >
• hasSchedulerRestriction() : storm::settings::modules::MultiObjectiveSettings
• hasSchedulers() : storm::solver::GameSolver< ValueType >
• hasSilentAction() : storm::jani::Edge
• hasSingleServerSemantics() : storm::gspn::TimedTransition< RateType >
• hasStandardCompliantComposition() : storm::jani::Model
• hasStandardComposition() : storm::jani::Model
• hasStateActionRewards() : storm::builder::RewardModelBuilder< ValueType >, storm::builder::RewardModelInformation, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >, storm::prism::RewardModel
• hasStateExitRewards() : storm::jani::ModelFeatures
• hasStatePlayerIndicationBeenSet() : storm::builder::StateAndChoiceInformationBuilder
• hasStateRewards() : storm::builder::RewardModelBuilder< ValueType >, storm::builder::RewardModelInformation, storm::jani::RewardModelInformation, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >, storm::prism::RewardModel
• hasStateValuations() : storm::models::sparse::Model< CValueType, CRewardModelType >
• hasSymmetries() : storm::dft::storage::DFTStateGenerationInfo
• hasTargetStateExpression() : storm::gbar::abstraction::MenuGameAbstractor< DdType, ValueType >
• hasTerminalStates() : storm::builder::BuilderOptions
• hasThreshold() : storm::modelchecker::multiobjective::DeterministicSchedsObjectiveHelper< ModelType >
• hasTimedOut() : storm::generator::NondeterministicBeliefTracker< ValueType, BeliefState >
• hasTimeProgressInvariant() : storm::jani::Location
• hasTransientAssignment() : storm::jani::EdgeDestination, storm::jani::OrderedAssignments, storm::jani::TemplateEdgeDestination
• hasTransientEdgeDestinationAssignments() : storm::jani::Automaton, storm::jani::Edge, storm::jani::Model, storm::jani::TemplateEdge
• hasTransientVariable() : storm::jani::Automaton, storm::jani::VariableSet
• hasTransitionRewards() : storm::builder::RewardModelInformation, storm::jani::RewardModelInformation, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::symbolic::StandardRewardModel< Type, ValueType >, storm::prism::RewardModel
• hasTrigonometricFunctions() : storm::jani::ModelFeatures
• hasTrivialInitialStatesExpression() : storm::jani::Automaton, storm::jani::Model
• hasTrivialRowGrouping() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• hasUnboundedVariables() : storm::prism::Module, storm::prism::Program
• hasUncertainty() : storm::models::sparse::Model< CValueType, CRewardModelType >
• hasUndefinedConstants() : storm::jani::Model, storm::prism::Program, storm::storage::SymbolicModelDescription
• hasUnderApproximation() : storm::modelchecker::ParetoCurveCheckResult< ValueType >
• hasUnexploredState() : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >
• hasUniqueFailedBE() : storm::dft::transformations::DftTransformer< ValueType >
• hasUniqueRewardModel() : storm::models::ModelBase, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::symbolic::Model< Type, CValueType >
• hasUniqueSolution() : storm::modelchecker::helper::SparseMdpHintType< ValueType >, storm::solver::GameSolver< ValueType >, storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• hasUpperBound() : storm::jani::BoundedType, storm::jani::PropertyInterval, storm::logic::BoundedUntilFormula, storm::solver::AbstractEquationSolver< ValueType >, storm::solver::SymbolicEquationSolver< DdType, ValueType >
• hasUpperBoundExpression() : storm::prism::IntegerVariable
• hasUpperBoundGuessingFactorBeenSet() : storm::settings::modules::OviSolverSettings
• hasUpperBounds() : storm::solver::SymbolicEquationSolver< DdType, ValueType >
• hasUpperResultBound() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• hasUpperResultBounds() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• hasValueHint() : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• hasVariable() : storm::expressions::ExpressionManager, storm::jani::Automaton, storm::jani::VariableSet
• HidingComposition() : storm::prism::HidingComposition
• HighLevelCounterexample() : storm::counterexamples::HighLevelCounterexample
• HintSettings() : storm::settings::modules::HintSettings
• HOAConsumerDA() : storm::automata::HOAConsumerDA
• HOAPathFormula() : storm::logic::HOAPathFormula
• HybridCtmcCslModelChecker() : storm::modelchecker::HybridCtmcCslModelChecker< ModelType >
• HybridDtmcPrctlModelChecker() : storm::modelchecker::HybridDtmcPrctlModelChecker< ModelType >
• HybridInfiniteHorizonHelper() : storm::modelchecker::helper::HybridInfiniteHorizonHelper< ValueType, DdType, Nondeterministic >
• HybridMarkovAutomatonCslModelChecker() : storm::modelchecker::HybridMarkovAutomatonCslModelChecker< ModelType >
• HybridMdpPrctlModelChecker() : storm::modelchecker::HybridMdpPrctlModelChecker< ModelType >
• HybridQuantitativeCheckResult() : storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >
• HyperplaneCollector() : storm::storage::geometry::HyperplaneCollector< ValueType >
• HyperplaneEnumeration() : storm::storage::geometry::HyperplaneEnumeration< ValueType >
• Hyperrectangle() : storm::storage::geometry::Hyperrectangle< ValueType >