Here is a list of all struct and union fields with links to the structures/unions they belong to:
- u -
- u1
: EvalGraphE1Fixture
, EvalGraphE2Fixture
, EvalGraphEx1Fixture
- u10
: EvalGraphEx1Fixture
- u11
: EvalGraphEx1Fixture
- u2
: EvalGraphEx1Fixture
, EvalGraphE1Fixture
, EvalGraphE2Fixture
- u3
: EvalGraphE1Fixture
, EvalGraphE2Fixture
, EvalGraphEx1Fixture
- u4
: EvalGraphE2Fixture
, EvalGraphEx1Fixture
- u5
: EvalGraphEx1Fixture
- u6
: EvalGraphEx1Fixture
- u7
: EvalGraphEx1Fixture
- u8
: EvalGraphEx1Fixture
- u9
: EvalGraphEx1Fixture
- ufinal
: ProgramCtx
, OfflineModelBuilderTFixture< EvalGraphBaseFixtureT >
, OnlineModelBuilderTFixture< EvalGraphBaseFixtureT >
- ufsCheckHeuristics
: GenuineGuessAndCheckModelGenerator
- ufscm
: GenuineGuessAndCheckModelGenerator
, InternalGroundDASPSolver
- ufsnogood
: UnfoundedSetCheckerManager
- underflow()
: ProcessBuf
- unfoundedAtoms
: InternalGroundASPSolver
- unfoundedSetCheck()
: GenuineGuessAndCheckModelGenerator
- UnfoundedSetChecker
: BaseModelGenerator
, UnfoundedSetChecker
- UnfoundedSetCheckerManager()
: UnfoundedSetCheckerManager
- UnfoundedSetCheckerOld
: BaseModelGenerator
- UnfoundedSetCheckHeuristics()
: UnfoundedSetCheckHeuristics
- unfoundedSetCheckHeuristicsFactory
: ProgramCtx
- UnfoundedSetCheckHeuristicsMax()
: UnfoundedSetCheckHeuristicsMax
- UnfoundedSetCheckHeuristicsPeriodic()
: UnfoundedSetCheckHeuristicsPeriodic
- UnfoundedSetCheckHeuristicsPost()
: UnfoundedSetCheckHeuristicsPost
- UnfoundedSetVerificationStatus()
: UnfoundedSetChecker::UnfoundedSetVerificationStatus
- unifiesWith()
: OrdinaryAtom
, ComfortAtom
- unify()
: Term
- unifyingHead
: DependencyGraph::DependencyInfo
- UnitInstruction
: ManualEvalHeuristicsPlugin::CtxData
- unitNogoods
: CDNLSolver
- unitPropagation()
: CDNLSolver
- unknown
: PluginAtom::Answer
- UNUSED_MASK
: ID
- unusedEdgeFilter
: EvalGraphBuilder
- UnusedEdgeFilter()
: EvalGraphBuilder::UnusedEdgeFilter
- unusedVertexFilter
: EvalGraphBuilder
- UnusedVertexFilter()
: EvalGraphBuilder::UnusedVertexFilter
- unverifyExternalAtoms()
: GenuineGuessAndCheckModelGenerator
- unverifyWatchList
: GenuineGuessAndCheckModelGenerator
- update()
: NogoodGrounder
, ImmediateNogoodGrounder
, LazyNogoodGrounder
, RuleTable
, ModuleAtomTable
, ExternalAtomTable
- updateEANogoods()
: GenuineGuessAndCheckModelGenerator
- updateMask()
: ExternalAtomMask
, PredicateMask
- updateMutex
: PredicateMask
- 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
- used
: PluginAtom::Answer
- used_bits_
: bm::bit_in< TDecoder >
, bm::bit_out< TEncoder >
- useInputProviderInput()
: ASPSolverManager::DelegateInterface
, ASPSolver::DLVSoftware::Delegate
- usesEnvironment
: ExtSourceProperties