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

- u -

• UnaryBooleanFunctionExpression() : storm::expressions::UnaryBooleanFunctionExpression
• UnaryBooleanPathFormula() : storm::logic::UnaryBooleanPathFormula
• UnaryBooleanStateFormula() : storm::logic::UnaryBooleanStateFormula
• UnaryExpression() : storm::expressions::UnaryExpression
• UnaryNumericalFunctionExpression() : storm::expressions::UnaryNumericalFunctionExpression
• UnaryPathFormula() : storm::logic::UnaryPathFormula
• UnaryStateFormula() : storm::logic::UnaryStateFormula
• unboundedIndividualPhase() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• unboundedWeightedPhase() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• undefineAll() : storm::storage::ExplicitGameStrategy
• UNDEFINED : storm::storage::ExplicitGameStrategy
• undefinedConstantsAreGraphPreserving() : storm::jani::Model, storm::prism::Program
• underApproximation : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >, storm::modelchecker::ParetoCurveCheckResult< ValueType >
• unexploredStateIndices : storm::storage::sparse::StateStorage< StateType >
• unexploredStatesEnd() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• unfold : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• UnfoldAction() : storm::jani::elimination_actions::UnfoldAction
• UnfoldDependencyGraph() : storm::jani::elimination_actions::UnfoldDependencyGraph
• unfolded : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableGroup
• unfoldInteractively() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >
• UnifPlusHelper() : storm::modelchecker::helper::UnifPlusHelper< ValueType >
• UNINITIALIZED : storm::storage::SparseMatrix< ValueType >
• unionFull() : storm::modelchecker::helper::rewardbounded::CostLimitClosure
• UniqueObservationStates() : storm::analysis::UniqueObservationStates< ValueType >
• uniqueSolution : storm::modelchecker::helper::SparseMdpHintType< ValueType >, storm::solver::MinMaxLinearEquationSolverRequirements, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• universalAbstract() : storm::dd::Bdd< LibraryType >, storm::dd::InternalBdd< DdType::CUDD >, storm::dd::InternalBdd< DdType::Sylvan >
• UNKNOWN : storm::analysis::Order
• unpackTransientVariableValuesIntoEvaluator() : storm::generator::JaniNextStateGenerator< ValueType, StateType >, storm::generator::NextStateGenerator< ValueType, StateType >
• unsatFraction : storm::modelchecker::RegionCheckResult< ValueType >
• unset() : storm::settings::modules::ModuleSettings
• unSetDontCare() : storm::storage::Scheduler< ValueType >
• unsetFilter() : storm::solver::stateelimination::ConditionalStateEliminator< ValueType >
• unsetIdentifierMapping() : storm::parser::ExpressionCreator, storm::parser::ExpressionParser
• unsetIgnoredRows() : storm::solver::helper::ValueIterationOperator< ValueType, TrivialRowGrouping, SolutionType >
• unsetLtl2daTool() : storm::ModelCheckerEnvironment
• unsetMaxCount() : storm::utility::ProgressMeasurement
• unsetMaximalIterationCount() : storm::LongRunAverageSolverEnvironment
• unsetMaxSteps() : storm::MultiObjectiveModelCheckerEnvironment
• unsetMemoryStates() : storm::storage::SchedulerClass
• unsetOptimizationDirection() : storm::solver::MinMaxLinearEquationSolver< ValueType, SolutionType >
• unsetPlotPathOverApproximation() : storm::MultiObjectiveModelCheckerEnvironment
• unsetPlotPathParetoPoints() : storm::MultiObjectiveModelCheckerEnvironment
• unsetPlotPathUnderApproximation() : storm::MultiObjectiveModelCheckerEnvironment
• unsetRewardModel() : storm::storage::BeliefManager< PomdpType, BeliefValueType, StateType >
• unsetSchedulerRestriction() : storm::MultiObjectiveModelCheckerEnvironment
• unsetSolverTimeout() : storm::dft::modelchecker::DFTASFChecker
• unsetTimeout() : storm::solver::SmtSolver, storm::solver::Z3SmtSolver
• UntilFormula() : storm::logic::UntilFormula
• update() : storm::dft::storage::BucketPriorityQueue< PriorityType >, storm::generator::ObservationDenseBeliefState< ValueType >, storm::generator::SparseBeliefState< ValueType >, storm::pomdp::WinningRegion
• Update() : storm::prism::Update
• update() : storm::solver::GlpkLpSolver, storm::solver::GurobiLpSolver< ValueType, RawMode >, storm::solver::LpSolver< ValueType, RawMode >, storm::solver::SoplexLpSolver< ValueType, RawMode >, storm::solver::stateelimination::DynamicStatePriorityQueue< ValueType >, storm::solver::stateelimination::StatePriorityQueue, storm::solver::Z3LpSolver< ValueType, RawMode >
• updateDimensions() : storm::storage::FlexibleSparseMatrix< ValueType >, storm::storage::SparseMatrix< ValueType >
• updateDontCareDependencies() : storm::dft::storage::DFTState< ValueType >
• updateEcQuotient() : storm::modelchecker::multiobjective::StandardPcaaWeightVectorChecker< SparseModelType >
• updateFailableDependencies() : storm::dft::storage::DFTState< ValueType >
• updateFailableInRestrictions() : storm::dft::storage::DFTState< ValueType >
• updateHeuristicValues() : storm::dft::builder::DFTExplorationHeuristic< ValueType >, storm::dft::builder::DFTExplorationHeuristicDepth< ValueType >, storm::dft::builder::DFTExplorationHeuristicProbability< ValueType >
• updateInitialStatesExpression() : storm::prism::Program
• updateLowerBound() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result
• updateMaxPathLength() : storm::modelchecker::exploration_detail::Statistics< StateType, ValueType >
• updateMonotonicityResult() : storm::analysis::MonotonicityResult< VariableType >
• updateNewStrategySolverTime : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• updateNonzeroEntryCount() : storm::storage::SparseMatrix< ValueType >
• updateObservations() : storm::models::sparse::Pomdp< ValueType, RewardModelType >
• updateOperatorInformation() : storm::modelchecker::CheckTask< FormulaType, ValueType >
• updateOverApproximation() : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• updatePredecessor() : storm::solver::stateelimination::ConditionalStateEliminator< ValueType >, storm::solver::stateelimination::EliminatorBase< ValueType, Mode >, storm::solver::stateelimination::MultiValueStateEliminator< ValueType >, storm::solver::stateelimination::NondeterministicModelStateEliminator< ValueType >, storm::solver::stateelimination::PrioritizedStateEliminator< ValueType >
• updatePriority() : storm::solver::stateelimination::EliminatorBase< ValueType, Mode >, storm::solver::stateelimination::PrioritizedStateEliminator< ValueType >
• updateProgress() : storm::utility::ProgressMeasurement
• updateSinkStates() : storm::pomdp::analysis::FormulaInformation
• updateStatus() : storm::solver::AbstractEquationSolver< ValueType >
• updateSynchronizingActionToOffsetMap() : storm::builder::ModuleComposer< Type, ValueType >
• updateTargetStates() : storm::pomdp::analysis::FormulaInformation
• updateTemplateEdgeDestination() : storm::jani::EdgeDestination
• updateUnderApproximation() : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >
• updateUpperBound() : storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result
• updateValue() : storm::solver::stateelimination::ConditionalStateEliminator< ValueType >, storm::solver::stateelimination::EliminatorBase< ValueType, Mode >, storm::solver::stateelimination::MultiValueStateEliminator< ValueType >, storm::solver::stateelimination::NondeterministicModelStateEliminator< ValueType >, storm::solver::stateelimination::PrioritizedStateEliminator< ValueType >
• upper : storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType >
• upperBound : storm::dft::builder::DFTExplorationHeuristicBoundDifference< ValueType >, storm::generator::IntegerVariableInformation, storm::generator::TransientVariableData< VariableType >, storm::jani::PropertyInterval, storm::pomdp::modelchecker::BeliefExplorationPomdpModelChecker< PomdpModelType, BeliefValueType, BeliefMDPType >::Result, storm::solver::AbstractEquationSolver< ValueType >
• upperBoundPoint : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >::RefinementStep
• upperBounds : storm::solver::AbstractEquationSolver< ValueType >, storm::solver::LinearEquationSolverRequirements, storm::solver::MinMaxLinearEquationSolverRequirements, storm::storage::geometry::Hyperrectangle< ValueType >
• upperBoundStrict : storm::jani::PropertyInterval
• upperResultBound : storm::modelchecker::helper::SparseMdpHintType< ValueType >, storm::modelchecker::multiobjective::Objective< ValueType >
• upperResultBounds : storm::modelchecker::helper::SparseMdpHintType< ValueType >
• upperSchedulers : storm::pomdp::storage::PreprocessingPomdpValueBounds< ValueType >
• usageInfoBits() : storm::dft::storage::DFTStateGenerationInfo
• useBoundsFromPLA : storm::api::MonotonicitySetting
• useClipping : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• usedConstants() : storm::prism::Program
• useDifferenceProbabilitySumHeuristic() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• useDynamicConstraints : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• useExactArithmeticInDdBisimulation() : storm::settings::modules::BisimulationSettings
• useGlobalPrecomputation() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• useLocalPrecomputation() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• useMinimum : storm::solver::TerminateIfFilteredExtremumBelowThreshold< ValueType >, storm::solver::TerminateIfFilteredExtremumExceedsThreshold< ValueType >
• useModularisation() : storm::dft::settings::modules::FaultTreeSettings
• useMonotonicity : storm::api::MonotonicitySetting
• useOnlyGlobalMonotonicity : storm::api::MonotonicitySetting
• useProbabilityHeuristic() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >
• usePropExpectedTime() : storm::dft::settings::modules::DftIOSettings
• usePropProbability() : storm::dft::settings::modules::DftIOSettings
• usePropTimebound() : storm::dft::settings::modules::DftIOSettings
• usePropTimepoints() : storm::dft::settings::modules::DftIOSettings
• uses() : storm::dft::storage::DFT< ValueType >, storm::dft::storage::DFTState< ValueType >
• usesAssignmentLevels() : storm::jani::Automaton, storm::jani::Edge, storm::jani::EdgeContainer, storm::jani::EdgeDestination, storm::jani::Model, storm::jani::TemplateEdge, storm::jani::TemplateEdgeDestination
• usesIndex() : storm::dft::storage::DFTState< ValueType >
• useStateEliminationCutoff : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• usesVariablesInNonTransientAssignments() : storm::jani::Edge, storm::jani::TemplateEdge
• useSymmetryReduction() : storm::dft::settings::modules::FaultTreeSettings
• useUniformHeuristic() : storm::modelchecker::exploration_detail::ExplorationInformation< StateType, ValueType >