- u -

• ufs : Clasp::DefaultUnfoundedCheck::AtomData , Clasp::Test::UnfoundedCheckTest
• ufs_ : Clasp::DefaultUnfoundedCheck
• ufsNodes : Clasp::Asp::LpStats
• undo : Clasp::DomainHeuristic::DomAction , Clasp::Solver::DLevel
• undo_ : Clasp::WeightConstraint , Clasp::DefaultMinimize
• undoHead_ : Clasp::Solver
• undos : Clasp::Test::TestingConstraint
• undoTop_ : Clasp::DefaultMinimize
• unitNant : Clasp::SolverParams
• units_ : Clasp::SatPreprocessor , Clasp::Assignment
• unsatTime : Clasp::ClaspFacade::Summary
• unsupp_ : Clasp::Asp::PrgBody
• up_ : Clasp::WeightConstraint
• upCfl : Clasp::SumQueue
• update : Clasp::Asp::LogicProgram::Incremental
• updateLbd : Clasp::SolverStrategies
• upForce : Clasp::SumQueue
• upMode : Clasp::SolverStrategies
• upper_ : Clasp::Asp::PrgHead , Clasp::UncoreMinimize
• upRestart : Clasp::RestartParams