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

- o -

• ObsActPair() : storm::pomdp::qualitative::detail::ObsActPair
• observabilityClass() : storm::generator::NextStateGenerator< ValueType, StateType >
• ObservationDenseBeliefState() : storm::generator::ObservationDenseBeliefState< ValueType >
• observationIsWinning() : storm::pomdp::WinningRegion
• ObservationLabel() : storm::prism::ObservationLabel
• ObservationLabelInformation() : storm::generator::ObservationLabelInformation
• ObservationTraceUnfolder() : storm::pomdp::ObservationTraceUnfolder< ValueType >
• obtainGSPN() : storm::dft::transformations::DftToGspnTransformator< ValueType >
• Odd() : storm::dd::Odd
• offset() : storm::storage::geometry::Halfspace< ValueType >
• oldToNewIndex() : storm::dd::Odd
• 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 >
• onlyBottomSccs() : storm::storage::StronglyConnectedComponentDecompositionOptions
• 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 >
• 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::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
• operator%() : storm::storage::BitVector
• operator&() : storm::storage::BitVector
• operator&&() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• 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::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::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 >
• 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 >
• 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 >
• 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::storage::DftIndependentModule, storm::expressions::Variable, storm::jani::LValue, storm::modelchecker::helper::rewardbounded::CostLimit, storm::storage::BitVector, storm::utility::ksp::Path< T >
• 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::FailableElements::const_iterator, storm::dft::utility::RelevantEvents, storm::expressions::ArrayType, storm::expressions::BaseType, storm::expressions::BitVectorType, storm::expressions::ExpressionManager, storm::expressions::SimpleValuation, storm::expressions::Type, storm::expressions::Variable, storm::expressions::VariableIterator, 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::StateBlock, storm::transformer::ParameterLifter< ParametricType, ConstantType >::AbstractValuation, storm::utility::ksp::Path< T >
• 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::OperatorInformation
• 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 >
• operator~() : storm::storage::BitVector
• OptimisticValueIterationHelper() : storm::solver::helper::OptimisticValueIterationHelper< ValueType, TrivialRowGrouping >
• 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, storm::solver::MathsatSmtSolver::Options, storm::storage::BisimulationDecomposition< ModelType, BlockDataType >::Options
• Or() : storm::dft::modelchecker::Or
• Order() : storm::analysis::Order
• orderBySymmetry() : storm::dft::storage::DFTState< ValueType >
• OrderedAssignments() : storm::jani::OrderedAssignments
• OrderExtender() : storm::analysis::OrderExtender< ValueType, ConstantType >
• outgoingDependencies() : storm::dft::storage::elements::DFTElement< ValueType >
• OverlappingGuardAnalyser() : storm::prism::OverlappingGuardAnalyser
• 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