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

- u -

• UNDEFINED : storm::storage::ExplicitGameStrategy
• underApproximation : storm::modelchecker::multiobjective::SparsePcaaQuery< SparseModelType, GeometryValueType >, storm::modelchecker::ParetoCurveCheckResult< ValueType >
• unexploredStateIndices : storm::storage::sparse::StateStorage< StateType >
• unfold : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• unfolded : storm::jani::elimination_actions::UnfoldDependencyGraph::VariableGroup
• uniqueSolution : storm::modelchecker::helper::SparseMdpHintType< ValueType >, storm::solver::SymbolicMinMaxLinearEquationSolver< DdType, ValueType >
• unsatFraction : storm::modelchecker::RegionCheckResult< ValueType >
• updateNewStrategySolverTime : storm::pomdp::IterativePolicySearch< ValueType >::Statistics
• 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 >
• 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 >
• useBoundsFromPLA : storm::api::MonotonicitySetting
• useClipping : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >
• useDynamicConstraints : storm::counterexamples::SMTMinimalLabelSetGenerator< T >::Options
• useMinimum : storm::solver::TerminateIfFilteredExtremumBelowThreshold< ValueType >, storm::solver::TerminateIfFilteredExtremumExceedsThreshold< ValueType >
• useMonotonicity : storm::api::MonotonicitySetting
• useOnlyGlobalMonotonicity : storm::api::MonotonicitySetting
• useStateEliminationCutoff : storm::pomdp::modelchecker::BeliefExplorationPomdpModelCheckerOptions< ValueType >