- u -

• underflow() : ProcessBuf
• unfoundedSetCheck() : GenuineGuessAndCheckModelGenerator
• UnfoundedSetChecker() : UnfoundedSetChecker
• UnfoundedSetCheckerManager() : UnfoundedSetCheckerManager
• UnfoundedSetCheckHeuristics() : UnfoundedSetCheckHeuristics
• UnfoundedSetCheckHeuristicsMax() : UnfoundedSetCheckHeuristicsMax
• UnfoundedSetCheckHeuristicsPeriodic() : UnfoundedSetCheckHeuristicsPeriodic
• UnfoundedSetCheckHeuristicsPost() : UnfoundedSetCheckHeuristicsPost
• UnfoundedSetVerificationStatus() : UnfoundedSetChecker::UnfoundedSetVerificationStatus
• unifiesWith() : OrdinaryAtom , ComfortAtom
• unify() : Term
• unitPropagation() : CDNLSolver
• UnusedEdgeFilter() : EvalGraphBuilder::UnusedEdgeFilter
• UnusedVertexFilter() : EvalGraphBuilder::UnusedVertexFilter
• unverifyExternalAtoms() : GenuineGuessAndCheckModelGenerator
• update() : NogoodGrounder , ExternalAtomTable , ModuleAtomTable , ImmediateNogoodGrounder , LazyNogoodGrounder , RuleTable
• updateEANogoods() : GenuineGuessAndCheckModelGenerator
• updateMask() : PredicateMask , ExternalAtomMask
• updatePredicateInputMask() : ExternalAtom
• updateSkipProgram() : UnfoundedSetCheckHeuristics
• updateSymbolOfNestedTerm() : Term
• updateUnfoundedSetStructuresAfterClearFact() : InternalGroundASPSolver
• updateUnfoundedSetStructuresAfterSetFact() : InternalGroundASPSolver
• updateWatchingStructuresAfterAddNogood() : CDNLSolver
• updateWatchingStructuresAfterClearFact() : CDNLSolver
• updateWatchingStructuresAfterRemoveNogood() : CDNLSolver
• updateWatchingStructuresAfterSetFact() : CDNLSolver
• UsageError() : UsageError
• use() : PluginAtom::Answer
• useAsNewSourceForHeadAtom() : InternalGroundASPSolver
• useASTInput() : ASPSolver::DLVSoftware::Delegate , ASPSolverManager::DelegateInterface
• useInputProviderInput() : ASPSolverManager::DelegateInterface , ASPSolver::DLVSoftware::Delegate