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 |