Here is a list of all class members 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 >
• ObsActPair() : storm::pomdp::qualitative::detail::ObsActPair
• observabilityClass() : storm::generator::NextStateGenerator< ValueType, StateType >
• 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
• ObservationDenseBeliefState() : storm::generator::ObservationDenseBeliefState< ValueType >
• observationIsWinning() : storm::pomdp::WinningRegion
• ObservationLabel() : storm::prism::ObservationLabel
• ObservationLabelInformation() : storm::generator::ObservationLabelInformation
• 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
• ObservationTraceUnfolder() : storm::pomdp::ObservationTraceUnfolder< ValueType >
• 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 >
• obtainGSPN() : storm::dft::transformations::DftToGspnTransformator< ValueType >
• odd : storm::dd::bisimulation::InternalSparseQuotientExtractorBase< DdType, ValueType, ExportValueType >
• Odd() : storm::dd::Odd
• odd : storm::gbar::modelchecker::detail::PreviousExplicitResult< ValueType >
• offset() : storm::storage::geometry::Halfspace< ValueType >
• offsetsToOverApproximation : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• offsetsToUnderApproximation : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• oldTable : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase
• oldToNewIndex() : storm::dd::Odd
• oldToNewStateIndexMapping : storm::transformer::GoalStateMerger< SparseModelType >::ReturnType
• oldToNewStateMapping : storm::transformer::EndComponentEliminator< ValueType >::EndComponentEliminatorReturnType
• oneMinus() : storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::QuantitativeCheckResult< ValueType >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >, storm::solver::SolveGoal< ValueType, SolutionType >
• OneShotPolicySearch() : storm::pomdp::OneShotPolicySearch< ValueType >
• oneStepTargetProbabilities : storm::modelchecker::helper::SolverRequirementsData< ValueType >
• onGrid : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >::BeliefClipping
• onlyBottomSccs() : storm::storage::StronglyConnectedComponentDecompositionOptions
• onlyDeterministicStrategies : storm::pomdp::MemlessSearchOptions
• onlyOneActionAvailable() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• operator bool() : storm::OptionalRef< T >, storm::solver::SolverRequirement
• operator CheckTask< storm::logic::Formula, ValueType >() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• operator!() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::expressions::Expression
• operator!=() : storm::dd::Add< LibraryType, ValueType >, storm::dd::AddIterator< DdType::CUDD, ValueType >, storm::dd::AddIterator< DdType::Sylvan, 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::dft::storage::FailableElements::const_iterator, storm::dft::utility::RelevantEvents, storm::expressions::Expression, storm::expressions::Variable, storm::expressions::VariableIterator, storm::storage::bisimulation::Block< DataType >, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator, storm::storage::BitVector, storm::storage::BitVectorHashMap< ValueType, Hash >::BitVectorHashMapIterator, storm::storage::MatrixEntry< IndexType, ValueType >, storm::storage::MaximalEndComponent, storm::storage::sparse::StateValuations::StateValueIterator, storm::storage::StateActionPair
• operator% : storm::expressions::Expression, storm::storage::BitVector
• operator&() : storm::storage::BitVector
• operator&&() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::expressions::Expression
• operator&=() : 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, storm::utility::Extremum< Dir, ValueType >
• operator()() : std::hash< Eigen::Matrix< ValueType, Eigen::Dynamic, 1 > >, std::hash< std::pair< uint_fast64_t, uint_fast64_t > >, std::hash< storm::dd::InternalBdd< storm::dd::DdType::CUDD > >, std::hash< storm::dd::InternalBdd< storm::dd::DdType::Sylvan > >, std::hash< storm::generator::ObservationDenseBeliefState< T > >, std::hash< storm::generator::SparseBeliefState< T > >, std::hash< storm::storage::BitVector >, std::hash< storm::storage::StateActionPair >, std::hash< storm::storage::StateActionTarget >, storm::adapters::Dereferencer< T >, storm::analysis::ConstraintCollector< ValueType >, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionIdentificationHash, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiationHash, storm::cli::PostprocessingIdentity, storm::dd::CuddPointerPairHash, storm::dd::SylvanMTBDDPairHash, storm::dd::SylvanMTBDDPairLess, storm::dft::modelchecker::DFTModelChecker< ValueType >::ResultOutputVisitor, storm::dft::storage::DFTElementSort< ValueType >, storm::dft::storage::GateGroupToHash, storm::dft::storage::OrderElementsById< ValueType >, storm::dft::storage::OrderElementsByRank< ValueType >, storm::expressions::SimpleValuationPointerCompare, storm::expressions::SimpleValuationPointerHash, storm::expressions::SimpleValuationPointerLess, storm::gbar::abstraction::ExplicitDijkstraQueueElementLess< ValueType >, storm::gbar::abstraction::VariableSetHash, storm::jani::AssignmentLevelToLevelComparator, storm::jani::AssignmentPartialOrderByLevelAndLValue, storm::jani::SynchronizationVectorLexicographicalLess, storm::modelchecker::helper::DsMpiDtmcPriorityLess< ValueType >, storm::modelchecker::helper::DsMpiMdpPriorityLess< ValueType >, storm::modelchecker::helper::lexicographic::spothelper::product_state_hash, storm::modelchecker::helper::rewardbounded::CostLimitClosure::CostLimitsCompare, storm::parser::SpiritErrorHandler, storm::solver::stateelimination::PriorityComparator, storm::storage::FNV1aBitVectorHash, storm::storage::Murmur3BitVectorHash< StateType >, storm::transformer::BinaryPomdpTransformerRowGroupCompare, storm::utility::detail::DoubleGreater, storm::utility::detail::DoubleLess, storm::utility::vector::VectorHash< ValueType >
• operator*() : storm::dd::Add< LibraryType, ValueType >, storm::dd::AddIterator< DdType::CUDD, ValueType >, storm::dd::AddIterator< DdType::Sylvan, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dft::storage::FailableElements::const_iterator, storm::expressions::Expression, storm::expressions::VariableIterator, storm::OptionalRef< T >, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator, storm::storage::BitVectorHashMap< ValueType, Hash >::BitVectorHashMapIterator, storm::storage::MatrixEntry< IndexType, ValueType >, storm::utility::Extremum< Dir, ValueType >
• operator*=() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::LinearCoefficientVisitor::VariableCoefficients, storm::models::symbolic::StandardRewardModel< Type, ValueType >
• operator+() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::Expression
• operator++() : storm::dd::AddIterator< DdType::CUDD, ValueType >, storm::dd::AddIterator< DdType::Sylvan, ValueType >, storm::dft::storage::FailableElements::const_iterator, storm::expressions::VariableIterator, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator, storm::storage::BitVectorHashMap< ValueType, Hash >::BitVectorHashMapIterator, storm::storage::sparse::StateValuations::StateValueIterator
• operator+=() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::LinearCoefficientVisitor::VariableCoefficients, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator
• operator-() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::Expression
• operator--() : storm::storage::sparse::StateValuations::StateValueIterator
• operator-=() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::LinearCoefficientVisitor::VariableCoefficients
• operator->() : storm::OptionalRef< T >
• operator/() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::Expression
• operator/=() : storm::dd::Add< LibraryType, ValueType >, storm::dd::InternalAdd< Type, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::expressions::LinearCoefficientVisitor::VariableCoefficients
• operator<() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >, storm::dft::modelchecker::DependencyPair, storm::dft::modelchecker::SpareAndChildPair, storm::dft::storage::DftIndependentModule, storm::expressions::Expression, storm::expressions::Type, storm::expressions::Variable, storm::jani::LValue, storm::modelchecker::helper::rewardbounded::CostLimit, storm::storage::BitVector, storm::storage::StateActionPair, storm::transformer::detail::ActionIdentifier, storm::utility::ksp::Path< T >
• operator<< : storm::dd::Add< LibraryType, ValueType >, storm::dft::storage::DFTStateGenerationInfo, storm::dft::storage::DftSymmetries, storm::expressions::BaseExpression, storm::expressions::Expression, storm::expressions::ExpressionManager, storm::expressions::SimpleValuation, storm::gbar::abstraction::LocalExpressionInformation< DdType >, storm::generator::Choice< ValueType, StateType >, storm::jani::Assignment, storm::jani::Composition, storm::jani::JaniType, storm::jani::LValue, storm::jani::OrderedAssignments, storm::logic::Bound, storm::logic::Formula, storm::logic::PlayerCoalition, storm::modelchecker::multiobjective::preprocessing::SparseMultiObjectivePreprocessorResult< SparseModelType >, storm::models::sparse::ChoiceLabeling, storm::models::sparse::ItemLabeling, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::sparse::StateLabeling, storm::prism::Assignment, storm::prism::BooleanVariable, storm::prism::ClockVariable, storm::prism::Command, storm::prism::Composition, storm::prism::Constant, storm::prism::Formula, storm::prism::InitialConstruct, storm::prism::IntegerVariable, storm::prism::Label, storm::prism::Module, storm::prism::ModuleRenaming, storm::prism::Player, storm::prism::Program, storm::prism::RewardModel, storm::prism::StateActionReward, storm::prism::StateReward, storm::prism::SystemCompositionConstruct, storm::prism::TransitionReward, storm::prism::Update, storm::settings::ArgumentBase, storm::settings::Option, storm::storage::bisimulation::DeterministicBlockData, storm::storage::BitVector, storm::storage::Decomposition< BlockType >, storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::MatrixEntry< IndexType, ValueType >, storm::storage::MaximalEndComponent, storm::storage::SparseMatrix< ValueType >, storm::transformer::detail::ChoiceLabelIdStorage, storm::utility::Stopwatch
• operator<= : storm::expressions::Expression
• operator=() : storm::dd::Add< LibraryType, ValueType >, storm::dd::AddIterator< DdType::CUDD, ValueType >, storm::dd::AddIterator< DdType::Sylvan, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::Dd< LibraryType >, storm::dd::DdManager< LibraryType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::dd::Odd, storm::dft::storage::FailableElements::const_iterator, storm::dft::storage::SylvanBddManager, storm::Environment, storm::expressions::ArrayAccessExpression, storm::expressions::ArrayExpression, storm::expressions::BaseExpression, storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::BinaryRelationExpression, storm::expressions::BooleanLiteralExpression, storm::expressions::ConstructorArrayExpression, storm::expressions::Expression, storm::expressions::ExpressionManager, storm::expressions::FunctionCallExpression, storm::expressions::IfThenElseExpression, storm::expressions::IntegerLiteralExpression, storm::expressions::LinearCoefficientVisitor::VariableCoefficients, storm::expressions::PredicateExpression, storm::expressions::RationalLiteralExpression, storm::expressions::SimpleValuation, storm::expressions::TranscendentalNumberLiteralExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::UnaryExpression, storm::expressions::UnaryNumericalFunctionExpression, storm::expressions::ValueArrayExpression, storm::expressions::Variable, storm::expressions::VariableExpression, storm::gbar::abstraction::jani::AutomatonAbstractor< DdType, ValueType >, storm::gbar::abstraction::jani::JaniMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::MenuGame< Type, ValueType >, storm::gbar::abstraction::prism::ModuleAbstractor< DdType, ValueType >, storm::gbar::abstraction::prism::PrismMenuGameAbstractor< DdType, ValueType >, storm::gbar::abstraction::StateSetAbstractor< DdType, ValueType >, storm::generator::Choice< ValueType, StateType >, storm::generator::Distribution< IndexType, ValueType >, storm::jani::Automaton, storm::jani::EdgeContainer, storm::jani::Model, storm::jani::TemplateEdgeContainer, storm::logic::FormulaInformation, storm::logic::FormulaInformationVisitor, storm::logic::FragmentSpecification, storm::logic::RewardAccumulation, storm::modelchecker::ExplicitParetoCurveCheckResult< ValueType >, storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::modelchecker::HybridQuantitativeCheckResult< Type, ValueType >, storm::modelchecker::SymbolicParetoCurveCheckResult< Type, ValueType >, storm::modelchecker::SymbolicQualitativeCheckResult< Type >, storm::modelchecker::SymbolicQuantitativeCheckResult< Type, ValueType >, storm::models::sparse::ChoiceLabeling, storm::models::sparse::Ctmc< ValueType, RewardModelType >, storm::models::sparse::DeterministicModel< ValueType, RewardModelType >, storm::models::sparse::Dtmc< ValueType, RewardModelType >, storm::models::sparse::ItemLabeling, storm::models::sparse::MarkovAutomaton< ValueType, RewardModelType >, storm::models::sparse::Mdp< ValueType, RewardModelType >, storm::models::sparse::Model< CValueType, CRewardModelType >, storm::models::sparse::Pomdp< ValueType, RewardModelType >, storm::models::sparse::Smg< ValueType, RewardModelType >, storm::models::sparse::StandardRewardModel< CValueType >, storm::models::sparse::StateLabeling, storm::models::sparse::StochasticTwoPlayerGame< ValueType, RewardModelType >, storm::models::symbolic::Ctmc< Type, ValueType >, storm::models::symbolic::DeterministicModel< Type, ValueType >, storm::models::symbolic::Dtmc< Type, ValueType >, storm::models::symbolic::MarkovAutomaton< Type, ValueType >, storm::models::symbolic::Mdp< Type, ValueType >, storm::models::symbolic::Model< Type, CValueType >, storm::models::symbolic::NondeterministicModel< Type, ValueType >, storm::models::symbolic::StochasticTwoPlayerGame< Type, ValueType >, storm::OptionalRef< T >, storm::parser::ExpressionParser, storm::parser::FormulaParser, storm::parser::FormulaParserGrammar, storm::prism::Assignment, storm::prism::BooleanVariable, storm::prism::ClockVariable, storm::prism::Command, storm::prism::Constant, storm::prism::Formula, storm::prism::InitialConstruct, storm::prism::IntegerVariable, storm::prism::Label, storm::prism::LocatedInformation, storm::prism::Module, storm::prism::ModuleRenaming, storm::prism::ObservationLabel, storm::prism::Player, storm::prism::Program, storm::prism::RewardModel, storm::prism::StateActionReward, storm::prism::StateReward, storm::prism::SystemCompositionConstruct, storm::prism::TransitionReward, storm::prism::Update, storm::prism::Variable, storm::settings::SettingsManager, storm::solver::GurobiEnvironment, storm::solver::SmtSolver, storm::storage::bisimulation::Block< DataType >, storm::storage::bisimulation::Partition< DataType >, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator, storm::storage::BitVector, storm::storage::BitVectorHashMap< ValueType, Hash >, storm::storage::Decomposition< BlockType >, storm::storage::Distribution< ValueType, StateType >, storm::storage::DistributionWithReward< ValueType, StateType >, storm::storage::MatrixEntry< IndexType, ValueType >, storm::storage::MaximalEndComponent, storm::storage::MaximalEndComponentDecomposition< ValueType >, storm::storage::ParameterRegion< ParametricType >, storm::storage::SparseMatrix< ValueType >, storm::storage::StateBlock, storm::storage::StronglyConnectedComponent, storm::storage::StronglyConnectedComponentDecomposition< ValueType >, storm::storage::SymbolicModelDescription, storm::SubEnvironment< EnvironmentType >, storm::transformer::Product< Model >, storm::utility::Extremum< Dir, ValueType >, storm::utility::resources::SignalInformation
• operator==() : storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionIdentification, storm::builder::CombinedEdgesSystemComposer< Type, ValueType >::ActionInstantiation, storm::dd::Add< LibraryType, ValueType >, storm::dd::AddIterator< DdType::CUDD, ValueType >, storm::dd::AddIterator< DdType::Sylvan, ValueType >, storm::dd::Bdd< LibraryType >, storm::dd::bisimulation::Partition< DdType, ValueType >, storm::dd::InternalAdd< DdType::CUDD, ValueType >, storm::dd::InternalAdd< DdType::Sylvan, ValueType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::dft::storage::DFTState< ValueType >, storm::dft::storage::FailableElements::const_iterator, storm::dft::utility::RelevantEvents, storm::expressions::ArrayType, storm::expressions::BaseType, storm::expressions::BitVectorType, storm::expressions::Expression, storm::expressions::ExpressionManager, storm::expressions::SimpleValuation, storm::expressions::Type, storm::expressions::Variable, storm::expressions::VariableIterator, storm::generator::ObservationDenseBeliefState< ValueType >, storm::generator::SparseBeliefState< ValueType >, storm::gspn::Marking, storm::jani::Assignment, storm::jani::LValue, storm::modelchecker::helper::rewardbounded::CostLimit, storm::models::sparse::ChoiceLabeling, storm::models::sparse::ItemLabeling, storm::models::sparse::StateLabeling, storm::storage::bisimulation::Block< DataType >, storm::storage::BitVector::const_iterator, storm::storage::BitVector::const_reverse_iterator, storm::storage::BitVector, storm::storage::BitVectorHashMap< ValueType, Hash >::BitVectorHashMapIterator, storm::storage::MatrixEntry< IndexType, ValueType >, storm::storage::MaximalEndComponent, storm::storage::sparse::StateValuations::StateValueIterator, storm::storage::SparseMatrix< ValueType >, storm::storage::StateActionPair, storm::storage::StateBlock, storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation, storm::utility::ksp::Path< T >
• operator> : storm::expressions::Expression
• operator>= : storm::expressions::Expression
• operator[]() : storm::modelchecker::ExplicitQualitativeCheckResult, storm::modelchecker::ExplicitQuantitativeCheckResult< ValueType >, storm::storage::BitVector, storm::storage::Decomposition< BlockType >
• operator^() : storm::storage::BitVector
• OperatorFormula() : storm::logic::OperatorFormula
• operatorInformation : storm::logic::OperatorFormula
• OperatorInformation() : storm::logic::OperatorInformation
• OperatorType : storm::expressions::BinaryBooleanFunctionExpression, storm::expressions::BinaryNumericalFunctionExpression, storm::expressions::UnaryBooleanFunctionExpression, storm::expressions::UnaryNumericalFunctionExpression, storm::logic::BinaryBooleanPathFormula, storm::logic::BinaryBooleanStateFormula, storm::logic::UnaryBooleanPathFormula, storm::logic::UnaryBooleanStateFormula
• operator|() : storm::storage::BitVector
• operator|=() : 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
• operator||() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >, storm::expressions::Expression
• operator~() : storm::storage::BitVector
• 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
• OptimisticValueIterationHelper() : storm::solver::helper::OptimisticValueIterationHelper< ValueType, TrivialRowGrouping >
• optimizationDirection : storm::modelchecker::helper::rewardbounded::Dimension< ValueType >
• optimize() : storm::dft::storage::DFT< ValueType >, storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::Z3LpSolver< ValueType, RawMode >, storm::storage::geometry::NativePolytope< ValueType >, storm::storage::geometry::Polytope< ValueType >
• Option() : storm::settings::Option
• OptionalRef() : storm::OptionalRef< T >
• OptionBuilder() : storm::settings::OptionBuilder
• Options() : storm::builder::DdJaniModelBuilder< Type, ValueType >::Options, storm::builder::DdPrismModelBuilder< Type, ValueType >::Options, storm::builder::ExplicitModelBuilder< ValueType, RewardModelType, StateType >::Options, storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• options : storm::dd::bisimulation::InternalSylvanSignatureRefinerBase, storm::generator::NextStateGenerator< ValueType, StateType >
• Options : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >, storm::solver::MathsatSmtSolver::Options
• options : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >
• Options() : storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• optSubsystem : storm::storage::StronglyConnectedComponentDecompositionOptions
• Or() : storm::dft::modelchecker::Or
• Order() : storm::analysis::Order
• order : storm::modelchecker::RegionBound< SparseModelType, ConstantType >
• orderBySymmetry() : storm::dft::storage::DFTState< ValueType >
• OrderedAssignments() : storm::jani::OrderedAssignments
• orderedSourcePredicateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• orderedSuccessorPredicateVariables : storm::gbar::abstraction::AbstractionInformation< DdType >
• OrderExtender() : storm::analysis::OrderExtender< ValueType, ConstantType >
• 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
• outgoingDependencies() : storm::dft::storage::elements::DFTElement< ValueType >
• outOfBoundsState : storm::generator::NextStateGenerator< ValueType, StateType >
• overApproximation : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >, storm::modelchecker::ParetoCurveCheckResult< ValueType >
• OverlappingGuardAnalyser() : storm::prism::OverlappingGuardAnalyser
• overlappingGuardStates : storm::generator::NextStateGenerator< ValueType, StateType >
• overrideDontFixDeadlocksSet() : storm::settings::modules::BuildSettings
• overrideOption() : storm::settings::modules::ModuleSettings
• OVI() : storm::solver::helper::OptimisticValueIterationHelper< ValueType, TrivialRowGrouping >
• ovi() : storm::SolverEnvironment
• OviSolverEnvironment() : storm::OviSolverEnvironment
• OviSolverSettings() : storm::settings::modules::OviSolverSettings