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

- o -

• objectiveIndex : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• objectiveResults : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• objectiveRewardFilter : storm::modelchecker::helper::rewardbounded::EpochModel< ValueType, SingleObjectiveMode >
• objectiveRewards : storm::modelchecker::helper::rewardbounded::EpochModel< ValueType, SingleObjectiveMode >
• objectives : storm::modelchecker::multiobjective::PcaaWeightVectorChecker< ModelType >, storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >, storm::modelchecker::multiobjective::SparseCbQuery< SparseModelType >, storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• objectivesWithNoUpperTimeBound : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• observabilityClasses : storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• observabilityMap : storm::generator::NextStateGenerator< ValueType, StateType >
• observable : storm::generator::BooleanVariableInformation, storm::generator::IntegerVariableInformation, storm::generator::LocationVariableInformation
• observation : storm::pomdp::qualitative::detail::ObsActPair
• observationClosed : storm::pomdp::analysis::FormulaInformation::StateSet
• observationLabels : storm::generator::VariableInformation, storm::parser::GlobalProgramInformation
• observationProbability : storm::builder::BeliefMdpExplorer< PomdpType, BeliefValueType >::SuccessorObservationInformation
• observations : storm::models::sparse::Pomdp< ValueType, RewardModelType >, storm::pomdp::analysis::FormulaInformation::StateSet
• observationValuations : storm::models::sparse::Pomdp< ValueType, RewardModelType >, storm::storage::sparse::ModelComponents< ValueType, RewardModelType >
• obsThresholdIncrementFactor : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• obsThresholdInit : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• odd : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >, storm::gbar::modelchecker::detail::PreviousExplicitResult< ValueType >
• offsetsToOverApproximation : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• offsetsToUnderApproximation : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• oldTable : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• oldToNewStateIndexMapping : storm::transformer::GoalStateMerger< SparseModelType >::ReturnType
• oldToNewStateMapping : storm::transformer::EndComponentEliminator< ValueType >::EndComponentEliminatorReturnType
• oneStepTargetProbabilities : storm::modelchecker::helper::SolverRequirementsData< ValueType >
• onGrid : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::BeliefClipping
• onlyDeterministicStrategies : storm::pomdp::MemlessSearchOptions
• operator() : storm::adapters::Dereferencer< T >
• operatorInformation : storm::logic::OperatorFormula
• optChoices : storm::storage::StronglyConnectedComponentDecompositionOptions
• optimalChoices : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• optimalChoiceValueThresholdFactor : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• optimalChoiceValueThresholdInit : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• optimalityType : storm::logic::OperatorInformation
• optimizationDirection : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• options : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase, storm::generator::NextStateGenerator< ValueType, StateType >, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• optSubsystem : storm::storage::StronglyConnectedComponentDecompositionOptions
• order : storm::modelchecker::RegionBound< SparseModelType, ConstantType >
• orderedSourcePredicateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• orderedSuccessorPredicateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• orderExtender : storm::modelchecker::SparseParameterLiftingModelChecker< SparseModelType, ConstantType >
• originalFormula : storm::modelchecker::multiobjective::Objective< ValueType >, storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >, storm::modelchecker::multiobjective::SparseCbQuery< SparseModelType >, storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• originalModel : storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >, storm::modelchecker::multiobjective::SparseCbQuery< SparseModelType >, storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >, storm::transformer::SparseParametricModelSimplifier< SparseModelType >
• originalOneStepTargetProbabilities : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• originalRewards : storm::modelchecker::helper::DsMpiDtmcUpperRewardBoundsComputer< ValueType >
• originalToEcqStateMapping : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >::EcQuotient
• origReward0Choices : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >::EcQuotient
• origState : storm::transformer::BinaryPomdpTransformerRowGroup
• origStateObservation : storm::transformer::BinaryPomdpTransformerRowGroup
• origTotalReward0Choices : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >::EcQuotient
• outOfBoundsState : storm::generator::NextStateGenerator< ValueType, StateType >
• overApproximation : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >, storm::modelchecker::ParetoCurveCheckResult< ValueType >
• overlappingGuardStates : storm::generator::NextStateGenerator< ValueType, StateType >