| Term | Clingo.Internal.AST, Clingo.AST |
| TermBOp | Clingo.Internal.AST, Clingo.AST |
| TermExtFunction | Clingo.Internal.AST, Clingo.AST |
| TermFunction | Clingo.Internal.AST, Clingo.AST |
| TermId | |
| 1 (Type/Class) | Clingo.Internal.Inspection.Theory |
| 2 (Type/Class) | Clingo.Inspection.Ground |
| 3 (Data Constructor) | Clingo.Inspection.Ground |
| termId | Clingo.Inspection.Ground |
| TermInterval | Clingo.Internal.AST, Clingo.AST |
| termName | Clingo.Inspection.Theory |
| TermPool | Clingo.Internal.AST, Clingo.AST |
| TermSymbol | Clingo.Internal.AST, Clingo.AST |
| TermUOp | Clingo.Internal.AST, Clingo.AST |
| TermVariable | Clingo.Internal.AST, Clingo.AST |
| TheoryAtom | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryAtomDefinition | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryAtomDefinitionType | Clingo.Internal.AST, Clingo.AST |
| TheoryAtomElement | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryAtoms | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Inspection.Theory, Clingo.Inspection.Theory |
| 4 (Data Constructor) | Clingo.Internal.Types |
| theoryAtoms | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Control, Clingo |
| theoryAtomsAtomElements | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsAtomGuard | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsAtomHasGuard | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsAtomLiteral | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsAtomTerm | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsAtomToString | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsAtomToStringSize | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| theoryAtomsElementCondition | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsElementConditionId | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsElementToString | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsElementToStringSize | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| theoryAtomsElementTuple | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsId | Clingo.Internal.Inspection.Theory |
| theoryAtomsSize | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsTermArguments | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsTermName | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsTermNumber | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsTermToString | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| theoryAtomsTermToStringSize | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| theoryAtomsTermType | |
| 1 (Function) | Clingo.Raw.Inspection.Theory, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Theory |
| TheoryDefinition | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryFunction | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Inspection.Theory |
| 3 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 4 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryGuard | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryGuardDefinition | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryList | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Inspection.Theory |
| TheoryNumber | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Inspection.Theory |
| TheoryOperatorDefinition | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryOperatorType | Clingo.Internal.AST, Clingo.AST |
| TheorySet | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Inspection.Theory |
| TheorySymbol | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Inspection.Theory |
| TheoryTerm | Clingo.Internal.AST, Clingo.AST |
| TheoryTermArray | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryTermDefinition | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryTermFunction | Clingo.Internal.AST, Clingo.AST |
| TheoryTermList | Clingo.Internal.AST, Clingo.AST |
| TheoryTermSet | Clingo.Internal.AST, Clingo.AST |
| TheoryTermSymbol | Clingo.Internal.AST, Clingo.AST |
| TheoryTermTuple | Clingo.Internal.AST, Clingo.AST |
| TheoryTermType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Inspection.Theory |
| TheoryTermUnparsed | Clingo.Internal.AST, Clingo.AST |
| TheoryTermVariable | Clingo.Internal.AST, Clingo.AST |
| TheoryTuple | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Inspection.Theory |
| TheoryUnparsedTerm | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| TheoryUnparsedTermElement | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| toPureAST | Clingo.AST |
| toPureSignature | Clingo.Symbol, Clingo |
| toPureSymbol | Clingo.Symbol, Clingo |
| TruthFalse | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Internal.Propagation, Clingo.Propagation, Clingo.Control, Clingo |
| TruthFree | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Internal.Propagation, Clingo.Propagation, Clingo.Control, Clingo |
| TruthTrue | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Internal.Propagation, Clingo.Propagation, Clingo.Control, Clingo |
| TruthValue | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Propagation, Clingo.Propagation, Clingo.Control, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| truthValue | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| TupleTerm | Clingo.Inspection.Theory |