- u -

• unary() : Clasp::Cli::WriteLemmas , Clasp::Cli::WriteCnf , Clasp::ShortImplicationsGraph::ReverseArc , Clasp::ShortImplicationsGraph::Propagate
• unblockSignals() : ProgramOptions::Application
• UncoreMinimize() : Clasp::UncoreMinimize
• underflow() : Clasp::StreamSource
• undo() : Clasp::Lookahead
• undoFree() : Clasp::Solver
• UndoInfo() : Clasp::WeightConstraint::UndoInfo , Clasp::DefaultMinimize::UndoInfo
• undoLast() : Clasp::Assignment
• undoLevel() : Clasp::Lookahead , Clasp::DefaultMinimize , Clasp::Solver , Clasp::WeightConstraint , Clasp::Test::TestingConstraint , Clasp::Clause , Clasp::Constraint , Clasp::DomainHeuristic
• undoStart() : Clasp::WeightConstraint
• undoTop() : Clasp::WeightConstraint
• undoTrail() : Clasp::Assignment
• undoUntil() : Clasp::ClaspBerkmin , Clasp::ClaspVmtf , Clasp::ClaspVsids_t< ScoreType > , Clasp::Solver , Clasp::DecisionHeuristic , Clasp::Restricted
• UnfoundedCheckTest() : Clasp::Test::UnfoundedCheckTest
• unfreeze() : Clasp::Asp::LogicProgram , Clasp::MinimizeBuilder , Clasp::SharedContext
• unfreeze_begin() : Clasp::Asp::LogicProgram
• unfreeze_end() : Clasp::Asp::LogicProgram
• unfreezeLevel() : Clasp::Solver
• unfreezeStep() : Clasp::SharedContext
• unique() : Clasp::SharedLiterals , Clasp::SymbolTable , Clasp::WeightConstraint::WL , ProgramOptions::detail::IntrusiveSharedPtr< T >
• unit() : Clasp::ClauseCreator::Result
• UnitHeuristic() : Clasp::UnitHeuristic
• unitPropagate() : Clasp::Solver
• units() : Clasp::Assignment
• unknown() : Clasp::ClaspFacade::Result
• UnknownOption() : ProgramOptions::UnknownOption
• unlock() : no_multi_threading::NullMutex
• unmark() : Clasp::SatElite::SatElite::OccurList , Clasp::SharedContext
• unmarkAll() : Clasp::SatElite::SatElite
• unmarkLevel() : Clasp::Solver
• unpackNode() : Clasp::Asp::SccChecker
• unsafePublish() : Clasp::mt::MultiQueue< T, Deleter >
• unsat() : Clasp::WeightLitsRep , Clasp::ClaspFacade::Result , Clasp::ClaspFacade::Summary , Clasp::UncoreMinimize::WCTemp
• update() : Clasp::Asp::LogicProgram , Clasp::RestartParams , Clasp::SumQueue , bk_lib::indexed_priority_queue< Cmp > , Clasp::ClaspFacade::SolveImpl , Clasp::JumpStats , Clasp::EnumerationConstraint , Clasp::ClaspFacade , Clasp::SharedDependencyGraph::NonHcfComponent , Clasp::Enumerator
• updateAssignment() : Clasp::DefaultUnfoundedCheck
• updateBounds() : Clasp::DefaultMinimize
• updateBranch() : Clasp::Solver
• updateConstraint() : Clasp::WeightConstraint
• updateFrozenAtoms() : Clasp::Asp::LogicProgram
• updateHeap() : Clasp::SatElite::SatElite
• updateHeuristic() : Clasp::LoopFormula
• updateJumps() : Clasp::SolverStats
• updateLearnt() : Clasp::Solver
• updateProgram() : Clasp::ProgramBuilder
• updateReason() : Clasp::Restricted , Clasp::ClaspVmtf , Clasp::ClaspBerkmin , Clasp::DecisionHeuristic , Clasp::ClaspVsids_t< ScoreType >
• updateSource() : Clasp::DefaultUnfoundedCheck
• updateVar() : Clasp::Restricted , Clasp::ClaspVmtf , Clasp::ClaspBerkmin , Clasp::UnitHeuristic , Clasp::ClaspVsids_t< ScoreType > , Clasp::Test::ClauseObserver , Clasp::SelectFirst , Clasp::DecisionHeuristic
• updateVarActivity() : Clasp::ClaspVsids_t< ScoreType >
• updateWatch() : Clasp::ClauseHead , Clasp::mt::SharedLitsClause , Clasp::Clause
• upper() : Clasp::SharedMinimizeData
• upRule() : Clasp::Asp::LpStats
• upRules() : Clasp::Asp::LogicProgram