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

- u -

• ufs : Clasp::DefaultUnfoundedCheck::AtomData , Clasp::Test::UnfoundedCheckTest
• ufs_ : Clasp::DefaultUnfoundedCheck
• ufs_non_poly : Clasp::DefaultUnfoundedCheck
• ufs_none : Clasp::DefaultUnfoundedCheck
• ufs_poly : Clasp::DefaultUnfoundedCheck
• ufsNodes : Clasp::Asp::LpStats
• UfsType : Clasp::DefaultUnfoundedCheck
• unary() : Clasp::Cli::WriteLemmas , Clasp::Cli::WriteCnf , Clasp::ShortImplicationsGraph::Propagate , Clasp::ShortImplicationsGraph::ReverseArc
• unblockSignals() : ProgramOptions::Application
• UncoreMinimize() : Clasp::UncoreMinimize
• underflow() : Clasp::StreamSource
• undo : Clasp::DomainHeuristic::DomAction , Clasp::Solver::DLevel , Clasp::Lookahead
• undo_ : Clasp::DefaultMinimize , Clasp::WeightConstraint
• undo_id : Clasp::Lookahead
• undoFree() : Clasp::Solver
• undoHead_ : Clasp::Solver
• UndoInfo() : Clasp::WeightConstraint::UndoInfo , Clasp::DefaultMinimize::UndoInfo
• undoLast() : Clasp::Assignment
• undoLevel() : Clasp::Solver , Clasp::WeightConstraint , Clasp::Test::TestingConstraint , Clasp::Clause , Clasp::Constraint , Clasp::DomainHeuristic , Clasp::Lookahead , Clasp::DefaultMinimize
• undos : Clasp::Test::TestingConstraint
• UndoStack : Clasp::Lookahead
• undoStart() : Clasp::WeightConstraint
• undoTop() : Clasp::WeightConstraint
• undoTop_ : Clasp::DefaultMinimize
• 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
• unitNant : Clasp::SolverParams
• unitPropagate() : Clasp::Solver
• units() : Clasp::Assignment
• units_ : Clasp::SatPreprocessor , Clasp::Assignment
• unknown() : Clasp::ClaspFacade::Result
• UNKNOWN : Clasp::ClaspFacade::Result
• unknown_group : ProgramOptions::ContextError
• unknown_option : ProgramOptions::ContextError
• 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::ClaspFacade::Result , Clasp::ClaspFacade::Summary , Clasp::UncoreMinimize::WCTemp , Clasp::WeightLitsRep
• UNSAT : Clasp::ClaspFacade::Result
• unsatTime : Clasp::ClaspFacade::Summary
• unsupp_ : Clasp::Asp::PrgBody
• up_ : Clasp::WeightConstraint
• upCfl : Clasp::SumQueue
• update() : Clasp::ClaspFacade::SolveImpl , Clasp::Asp::LogicProgram::Incremental , Clasp::ClaspFacade , Clasp::SharedDependencyGraph::NonHcfComponent , Clasp::EnumerationConstraint , Clasp::Asp::LogicProgram , Clasp::JumpStats , Clasp::SumQueue , bk_lib::indexed_priority_queue< Cmp > , Clasp::RestartParams , Clasp::Enumerator
• update_on_conflict : Clasp::SolverStrategies
• update_on_propagate : Clasp::SolverStrategies
• 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
• updateLbd : Clasp::SolverStrategies
• updateLearnt() : Clasp::Solver
• UpdateMode : Clasp::SolverStrategies
• updateProgram() : Clasp::ProgramBuilder
• updateReason() : Clasp::Restricted , Clasp::DecisionHeuristic , Clasp::ClaspBerkmin , Clasp::ClaspVsids_t< ScoreType > , Clasp::ClaspVmtf
• updateSource() : Clasp::DefaultUnfoundedCheck
• updateVar() : Clasp::ClaspBerkmin , Clasp::DecisionHeuristic , Clasp::UnitHeuristic , Clasp::ClaspVsids_t< ScoreType > , Clasp::ClaspVmtf , Clasp::SelectFirst , Clasp::Restricted , Clasp::Test::ClauseObserver
• updateVarActivity() : Clasp::ClaspVsids_t< ScoreType >
• updateWatch() : Clasp::mt::SharedLitsClause , Clasp::Clause , Clasp::ClauseHead
• upForce : Clasp::SumQueue
• upMode : Clasp::SolverStrategies
• upper() : Clasp::SharedMinimizeData
• upper_ : Clasp::UncoreMinimize , Clasp::Asp::PrgHead
• upRestart : Clasp::RestartParams
• upRule() : Clasp::Asp::LpStats
• upRules() : Clasp::Asp::LogicProgram
• use_learning : Clasp::SolverStrategies
• user_schedule : Clasp::ScheduleStrategy
• user_value : Clasp::ValueSet
• UserConfig : Clasp::ClaspConfig