Index
| $= | Clingo.Configuration, Clingo |
| >=> | Clingo.Statistics, Clingo.Configuration, Clingo |
| Absolute | Clingo.Internal.AST, Clingo.AST |
| acycEdge | Clingo.ProgramBuilding |
| addClause | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| addGroundStatements | Clingo.ProgramBuilding |
| addLiteral | Clingo.Internal.Propagation |
| addProgram | Clingo.Control, Clingo |
| addStatements | Clingo.ProgramBuilding |
| addString | Clingo.Raw.Symbol, Clingo.Raw |
| addWatch | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| Aggregate | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| AggregateFunction | Clingo.Internal.AST, Clingo.AST |
| AggregateGuard | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| aguardPLeft | Clingo.Internal.AST |
| aguardPRight | Clingo.Internal.AST |
| allModels | Clingo.Solving, Clingo |
| AMVTree | Clingo.Internal.Types, Clingo.Statistics, Clingo.Configuration, Clingo |
| And | Clingo.Internal.AST, Clingo.AST |
| Any | Clingo.Internal.AST, Clingo.AST |
| askC | Clingo.Internal.Types |
| AspifLiteral | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Inspection.Theory, Clingo.Inspection.Symbolic |
| 2 (Data Constructor) | Clingo.Internal.Types |
| AspifStmt | Clingo.Inspection.Ground |
| assignExternal | Clingo.Control, Clingo |
| Assignment | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| assignment | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| assignmentDecision | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentDecisionLevel | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentHasConflict | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentHasLiteral | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentIsFalse | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentIsFixed | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentIsTrue | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentLevel | Clingo.Raw.Propagation, Clingo.Raw |
| assignmentTruthValue | Clingo.Raw.Propagation, Clingo.Raw |
| assume | Clingo.ProgramBuilding |
| AstAggregate | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateFunction | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateFunctionCount | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateFunctionMax | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateFunctionMin | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateFunctionSum | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateFunctionSump | Clingo.Raw.AST, Clingo.Raw |
| AstAggregateGuard | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperation | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperator | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorAnd | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorDivision | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorMinus | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorModulo | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorMultiplication | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorOr | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorPlus | Clingo.Raw.AST, Clingo.Raw |
| AstBinaryOperatorXor | Clingo.Raw.AST, Clingo.Raw |
| AstBodyAggregate | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstBodyAggregateElement | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstBodyBodyAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstBodyConditional | Clingo.Raw.AST, Clingo.Raw |
| AstBodyDisjoint | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLitAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteral | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralType | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralTypeAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralTypeBodyAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralTypeConditional | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralTypeDisjoint | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralTypeLiteral | Clingo.Raw.AST, Clingo.Raw |
| AstBodyLiteralTypeTheoryAtom | Clingo.Raw.AST, Clingo.Raw |
| AstBodyTheoryAtom | Clingo.Raw.AST, Clingo.Raw |
| AstComparison | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperator | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperatorEqual | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperatorGreaterEqual | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperatorGreaterThan | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperatorLessEqual | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperatorLessThan | Clingo.Raw.AST, Clingo.Raw |
| AstComparisonOperatorNotEqual | Clingo.Raw.AST, Clingo.Raw |
| AstConditionalLiteral | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstCspGuard | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstCspLiteral | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstCspProductTerm | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstCspSumTerm | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstDefinition | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstDisjoint | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstDisjointElement | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstDisjunction | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstEdge | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstExternal | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstFunction | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstHeadAggregate | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstHeadAggregateElement | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstHeadDisjunction | Clingo.Raw.AST, Clingo.Raw |
| AstHeadHeadAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLitAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteral | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteralType | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteralTypeAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteralTypeDisjunction | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteralTypeHeadAggregate | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteralTypeLiteral | Clingo.Raw.AST, Clingo.Raw |
| AstHeadLiteralTypeTheoryAtom | Clingo.Raw.AST, Clingo.Raw |
| AstHeadTheoryAtom | Clingo.Raw.AST, Clingo.Raw |
| AstHeuristic | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstId | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstInterval | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstLiteral | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralBool | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralComp | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralCSPL | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralTerm | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralType | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralTypeBoolean | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralTypeComparison | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralTypeCsp | Clingo.Raw.AST, Clingo.Raw |
| AstLiteralTypeSymbolic | Clingo.Raw.AST, Clingo.Raw |
| AstMinimize | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstPool | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstProgram | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstProject | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstRule | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstScript | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstScriptType | Clingo.Raw.AST, Clingo.Raw |
| AstScriptTypeLua | Clingo.Raw.AST, Clingo.Raw |
| AstScriptTypePython | Clingo.Raw.AST, Clingo.Raw |
| AstShowSignature | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstShowTerm | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstSign | Clingo.Raw.AST, Clingo.Raw |
| AstSignDoubleNegation | Clingo.Raw.AST, Clingo.Raw |
| AstSignNegation | Clingo.Raw.AST, Clingo.Raw |
| AstSignNone | Clingo.Raw.AST, Clingo.Raw |
| AstStatement | Clingo.Raw.AST, Clingo.Raw |
| AstStatementType | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeConst | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeEdge | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeExternal | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeHeuristic | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeMinimize | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeProgram | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeProjectAtom | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeProjectAtomSignature | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeRule | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeScript | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeShowSignature | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeShowTerm | Clingo.Raw.AST, Clingo.Raw |
| AstStatementTypeTheoryDefinition | Clingo.Raw.AST, Clingo.Raw |
| AstStmtDefinition | Clingo.Raw.AST, Clingo.Raw |
| AstStmtEdge | Clingo.Raw.AST, Clingo.Raw |
| AstStmtExternal | Clingo.Raw.AST, Clingo.Raw |
| AstStmtHeuristic | Clingo.Raw.AST, Clingo.Raw |
| AstStmtMinimize | Clingo.Raw.AST, Clingo.Raw |
| AstStmtProgram | Clingo.Raw.AST, Clingo.Raw |
| AstStmtProject | Clingo.Raw.AST, Clingo.Raw |
| AstStmtRule | Clingo.Raw.AST, Clingo.Raw |
| AstStmtScript | Clingo.Raw.AST, Clingo.Raw |
| AstStmtShowSignature | Clingo.Raw.AST, Clingo.Raw |
| AstStmtShowTerm | Clingo.Raw.AST, Clingo.Raw |
| AstStmtSignature | Clingo.Raw.AST, Clingo.Raw |
| AstStmtTheoryDefn | Clingo.Raw.AST, Clingo.Raw |
| AstTerm | Clingo.Raw.AST, Clingo.Raw |
| AstTermBOp | Clingo.Raw.AST, Clingo.Raw |
| AstTermExtFunction | Clingo.Raw.AST, Clingo.Raw |
| AstTermFunction | Clingo.Raw.AST, Clingo.Raw |
| AstTermInterval | Clingo.Raw.AST, Clingo.Raw |
| AstTermPool | Clingo.Raw.AST, Clingo.Raw |
| AstTermSymbol | Clingo.Raw.AST, Clingo.Raw |
| AstTermType | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeBinaryOperation | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeExternalFunction | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeFunction | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeInterval | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypePool | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeSymbol | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeUnaryOperation | Clingo.Raw.AST, Clingo.Raw |
| AstTermTypeVariable | Clingo.Raw.AST, Clingo.Raw |
| AstTermUOp | Clingo.Raw.AST, Clingo.Raw |
| AstTermVariable | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtom | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomDefinition | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomDefinitionTypeAny | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomDefinitionTypeBody | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomDefinitionTypeDirective | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomDefinitionTypeHead | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomDefType | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryAtomElement | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryDefinition | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryFunction | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryGuard | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryGuardDefinition | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryOperatorDefinition | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryOperatorType | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryOperatorTypeBinaryLeft | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryOperatorTypeBinaryRight | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryOperatorTypeUnary | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTerm | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermArray | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermDefinition | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermFunction | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermList | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermSet | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermSymbol | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTuple | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermType | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeFunction | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeList | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeSet | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeSymbol | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeTuple | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeUnparsedTerm | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermTypeVariable | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermUnparsed | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryTermVariable | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryUnparsedTerm | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstTheoryUnparsedTermElement | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstUnaryOperation | |
| 1 (Type/Class) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.AST, Clingo.Raw |
| AstUnaryOperator | Clingo.Raw.AST, Clingo.Raw |
| AstUnaryOperatorAbsolute | Clingo.Raw.AST, Clingo.Raw |
| AstUnaryOperatorMinus | Clingo.Raw.AST, Clingo.Raw |
| AstUnaryOperatorNegation | Clingo.Raw.AST, Clingo.Raw |
| atArray | Clingo.Internal.Types, Clingo.Statistics, Clingo.Configuration, Clingo |
| atMap | Clingo.Internal.Types, Clingo.Statistics, Clingo.Configuration, Clingo |
| Atom | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| 3 (Data Constructor) | Clingo.Internal.Types |
| atom | Clingo.ProgramBuilding |
| atomAspifLiteral | Clingo.ProgramBuilding |
| atomElements | Clingo.Inspection.Theory |
| atomGuard | Clingo.Inspection.Theory |
| AtomId | Clingo.Internal.Inspection.Theory |
| atomLiteral | Clingo.Inspection.Theory |
| atomTerm | Clingo.Inspection.Theory |
| Backend | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| 4 (Data Constructor) | Clingo.Internal.Types |
| backend | Clingo.Control, Clingo |
| backendAcycEdge | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendAddAtom | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendAssume | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendExternal | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendHeuristic | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendMinimize | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendProject | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendRule | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| backendWeightRule | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| BinaryOperation | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BinaryOperator | Clingo.Internal.AST, Clingo.AST |
| BinLeft | Clingo.Internal.AST, Clingo.AST |
| BinRight | Clingo.Internal.AST, Clingo.AST |
| Body | Clingo.Internal.AST, Clingo.AST |
| BodyAggregate | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BodyAggregateElement | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BodyBodyAggregate | Clingo.Internal.AST, Clingo.AST |
| BodyConditional | Clingo.Internal.AST, Clingo.AST |
| BodyDisjoint | Clingo.Internal.AST, Clingo.AST |
| BodyLitAggregate | Clingo.Internal.AST, Clingo.AST |
| BodyLiteral | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| BodyTheoryAtom | Clingo.Internal.AST, Clingo.AST |
| BraveConsequences | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Model, Clingo |
| CallbackAST | Clingo.Raw.AST, Clingo.Raw |
| CallbackEvent | Clingo.Raw.Types, Clingo.Raw |
| CallbackFinish | Clingo.Raw.Types, Clingo.Raw |
| CallbackGround | Clingo.Raw.Types, Clingo.Raw |
| CallbackPropagatorCheck | Clingo.Raw.Types, Clingo.Raw |
| CallbackPropagatorInit | Clingo.Raw.Types, Clingo.Raw |
| CallbackPropagatorPropagate | Clingo.Raw.Types, Clingo.Raw |
| CallbackPropagatorUndo | Clingo.Raw.Types, Clingo.Raw |
| CallbackSymbol | Clingo.Raw.Types, Clingo.Raw |
| CArray | Clingo.Configuration, Clingo |
| CautiousConsequences | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Model, Clingo |
| CBool | Clingo.Raw.Types, Clingo.Raw |
| CBoth | Clingo.Configuration, Clingo |
| checkAndThrow | Clingo.Internal.Utils |
| CKey | Clingo.Internal.Configuration |
| Clause | |
| 1 (Type/Class) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| 2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| ClauseLearnt | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| ClauseStatic | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| ClauseType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| ClauseVolatile | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Propagation, Clingo.Propagation, Clingo |
| ClauseVolatileStatic | Clingo.Raw.Enums, Clingo.Raw |
| cleanup | Clingo.Control, Clingo |
| Clingo | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.Control, Clingo |
| 2 (Data Constructor) | Clingo.Internal.Types |
| clingo | Clingo.Internal.Types |
| clingoArgs | Clingo.Control, Clingo |
| ClingoError | Clingo.Raw.Enums, Clingo.Raw |
| ClingoException | Clingo.Internal.Utils |
| clingoLogger | Clingo.Control, Clingo |
| ClingoSetting | |
| 1 (Type/Class) | Clingo.Control, Clingo |
| 2 (Data Constructor) | Clingo.Control, Clingo |
| ClingoWarning | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Utils, Clingo.Symbol, Clingo.Control, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Utils |
| CMap | Clingo.Configuration, Clingo |
| Comparison | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ComparisonOperator | Clingo.Internal.AST, Clingo.AST |
| ConditionalLiteral | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ConfigArray | Clingo.Raw.Enums, Clingo.Raw |
| ConfigMap | Clingo.Raw.Enums, Clingo.Raw |
| Configuration | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Configuration |
| 4 (Data Constructor) | Clingo.Internal.Types |
| configuration | Clingo.Control, Clingo |
| configurationArrayAt | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationArraySize | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationDescription | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationMapAt | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationMapSize | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationMapSubkeyName | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationRoot | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| ConfigurationType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Configuration |
| configurationType | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationValueGet | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationValueGetSize | Clingo.Raw.Configuration, Clingo.Raw |
| configurationValueIsAssigned | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| configurationValueSet | |
| 1 (Function) | Clingo.Raw.Configuration, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Configuration |
| ConfigValue | Clingo.Raw.Enums, Clingo.Raw |
| ConfTree | Clingo.Configuration, Clingo |
| contains | Clingo.Model, Clingo |
| context | Clingo.Model, Clingo |
| Continue | |
| 1 (Data Constructor) | Clingo.Internal.Propagation |
| 2 (Type/Class) | Clingo.Control, Clingo |
| 3 (Data Constructor) | Clingo.Control, Clingo |
| Control | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| controlAdd | Clingo.Raw.Control, Clingo.Raw |
| controlAssignExternal | Clingo.Raw.Control, Clingo.Raw |
| controlBackend | Clingo.Raw.Control, Clingo.Raw |
| controlClaspFacade | Clingo.Raw.Control, Clingo.Raw |
| controlCleanup | Clingo.Raw.Control, Clingo.Raw |
| controlConfiguration | Clingo.Raw.Control, Clingo.Raw |
| controlFree | Clingo.Raw.Control, Clingo.Raw |
| controlGetConst | Clingo.Raw.Control, Clingo.Raw |
| controlGround | Clingo.Raw.Control, Clingo.Raw |
| controlHasConst | Clingo.Raw.Control, Clingo.Raw |
| controlInterrupt | Clingo.Raw.Control, Clingo.Raw |
| controlLoad | Clingo.Raw.Control, Clingo.Raw |
| controlNew | Clingo.Raw.Control, Clingo.Raw |
| controlProgramBuilder | Clingo.Raw.Control, Clingo.Raw |
| controlRegisterObserver | Clingo.Raw.Control, Clingo.Raw |
| controlRegisterPropagator | Clingo.Raw.Control, Clingo.Raw |
| controlReleaseExternal | Clingo.Raw.Control, Clingo.Raw |
| controlSolve | Clingo.Raw.Control, Clingo.Raw |
| controlStatistics | Clingo.Raw.Control, Clingo.Raw |
| controlSymbolicAtoms | Clingo.Raw.Control, Clingo.Raw |
| controlTheoryAtoms | Clingo.Raw.Control, Clingo.Raw |
| controlUseEnumAssumption | Clingo.Raw.Control, Clingo.Raw |
| costVector | Clingo.Model, Clingo |
| Count | Clingo.Internal.AST, Clingo.AST |
| countThreads | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| createFunction | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| createFunction' | Clingo.Internal.Symbol |
| createId | Clingo.Symbol, Clingo |
| createInfimum | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| createInfimum' | Clingo.Internal.Symbol |
| createNumber | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| createNumber' | Clingo.Internal.Symbol |
| createSignature | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| createSignature' | Clingo.Internal.Symbol |
| createString | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| createString' | Clingo.Internal.Symbol |
| createSupremum | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| createSupremum' | Clingo.Internal.Symbol |
| CspGuard | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| CspLiteral | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| CspProductTerm | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| CspSumTerm | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| CType | Clingo.Internal.Configuration |
| CValue | Clingo.Configuration, Clingo |
| decision | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| decisionLevel | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| defaultClingo | Clingo.Control, Clingo |
| Definition | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| Directive | Clingo.Internal.AST, Clingo.AST |
| Disjoint | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| DisjointElement | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| Disjunction | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| Div | Clingo.Internal.AST, Clingo.AST |
| DoubleNegationSign | Clingo.Internal.AST, Clingo.AST |
| Edge | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| Element | |
| 1 (Type/Class) | Clingo.Inspection.Theory |
| 2 (Data Constructor) | Clingo.Inspection.Theory |
| elementCondition | Clingo.Inspection.Theory |
| elementConditionId | Clingo.Inspection.Theory |
| ElementId | |
| 1 (Type/Class) | Clingo.Internal.Inspection.Theory |
| 2 (Type/Class) | Clingo.Inspection.Ground |
| 3 (Data Constructor) | Clingo.Inspection.Ground |
| elementId | Clingo.Inspection.Ground |
| elementTuple | Clingo.Inspection.Theory |
| emptyPropagator | Clingo.Propagation, Clingo |
| Equal | Clingo.Internal.AST, Clingo.AST |
| ErrorBadAlloc | Clingo.Raw.Enums, Clingo.Raw |
| errorCode | Clingo.Raw.Basic, Clingo.Raw |
| ErrorLogic | Clingo.Raw.Enums, Clingo.Raw |
| errorMessage | Clingo.Raw.Basic, Clingo.Raw |
| ErrorRuntime | Clingo.Raw.Enums, Clingo.Raw |
| errorString | Clingo.Raw.Basic, Clingo.Raw |
| ErrorSuccess | Clingo.Raw.Enums, Clingo.Raw |
| ErrorUnknown | Clingo.Raw.Enums, Clingo.Raw |
| exhausted | Clingo.Internal.Types, Clingo.Control, Clingo |
| External | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| external | |
| 1 (Function) | Clingo.Inspection.Symbolic |
| 2 (Function) | Clingo.ProgramBuilding |
| ExternalFalse | Clingo.Raw.Enums, Clingo.Raw |
| ExternalFree | Clingo.Raw.Enums, Clingo.Raw |
| ExternalRelease | Clingo.Raw.Enums, Clingo.Raw |
| ExternalTrue | Clingo.Raw.Enums, Clingo.Raw |
| ExternalType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| ExtFalse | Clingo.Internal.Types, Clingo.ProgramBuilding |
| ExtFree | Clingo.Internal.Types, Clingo.ProgramBuilding |
| ExtRelease | Clingo.Internal.Types, Clingo.ProgramBuilding |
| ExtTrue | Clingo.Internal.Types, Clingo.ProgramBuilding |
| fact | Clingo.Inspection.Symbolic |
| freeAggregate | Clingo.Internal.AST |
| freeAggregateGuard | Clingo.Internal.AST |
| freeArray | Clingo.Internal.AST |
| freeBinaryOperation | Clingo.Internal.AST |
| freeBodyAggregate | Clingo.Internal.AST |
| freeBodyAggregateElement | Clingo.Internal.AST |
| freeBodyLiteral | Clingo.Internal.AST |
| freeComparison | Clingo.Internal.AST |
| freeConditionalLiteral | Clingo.Internal.AST |
| freeCspGuard | Clingo.Internal.AST |
| freeCspLiteral | Clingo.Internal.AST |
| freeCspProductTerm | Clingo.Internal.AST |
| freeCspSumTerm | Clingo.Internal.AST |
| freeDefinition | Clingo.Internal.AST |
| freeDisjoint | Clingo.Internal.AST |
| freeDisjointElement | Clingo.Internal.AST |
| freeDisjunction | Clingo.Internal.AST |
| freeEdge | Clingo.Internal.AST |
| freeExternal | Clingo.Internal.AST |
| freeFunction | Clingo.Internal.AST |
| freeHeadAggregate | Clingo.Internal.AST |
| freeHeadAggregateElement | Clingo.Internal.AST |
| freeHeadLiteral | Clingo.Internal.AST |
| freeHeuristic | Clingo.Internal.AST |
| freeIdentifier | Clingo.Internal.AST |
| freeIndirection | Clingo.Internal.AST |
| freeInterval | Clingo.Internal.AST |
| freeLiteral | Clingo.Internal.AST |
| freeMinimize | Clingo.Internal.AST |
| freePool | Clingo.Internal.AST |
| freeProgram | Clingo.Internal.AST |
| freeProject | Clingo.Internal.AST |
| freeRawLocation | Clingo.Internal.Types |
| freeRule | Clingo.Internal.AST |
| freeScript | Clingo.Internal.AST |
| freeShowSignature | Clingo.Internal.AST |
| freeShowTerm | Clingo.Internal.AST |
| freeStatement | Clingo.Internal.AST |
| freeTerm | Clingo.Internal.AST |
| freeTheoryAtom | Clingo.Internal.AST |
| freeTheoryAtomDefinition | Clingo.Internal.AST |
| freeTheoryAtomElement | Clingo.Internal.AST |
| freeTheoryDefinition | Clingo.Internal.AST |
| freeTheoryFunction | Clingo.Internal.AST |
| freeTheoryGuard | Clingo.Internal.AST |
| freeTheoryGuardDefinition | Clingo.Internal.AST |
| freeTheoryOperatorDefinition | Clingo.Internal.AST |
| freeTheoryTerm | Clingo.Internal.AST |
| freeTheoryTermArray | Clingo.Internal.AST |
| freeTheoryTermDefinition | Clingo.Internal.AST |
| freeTheoryUnparsedTerm | Clingo.Internal.AST |
| freeTheoryUnparsedTermElement | Clingo.Internal.AST |
| freeUnaryOperation | Clingo.Internal.AST |
| fromConfig | Clingo.Configuration, Clingo |
| fromConfigMany | Clingo.Configuration, Clingo |
| fromIndirect | Clingo.Internal.AST |
| fromPureAST | Clingo.AST |
| fromRawAggregate | Clingo.Internal.AST |
| fromRawAggregateFunction | Clingo.Internal.AST |
| fromRawAggregateGuard | Clingo.Internal.AST |
| fromRawBinaryOperation | Clingo.Internal.AST |
| fromRawBinaryOperator | Clingo.Internal.AST |
| fromRawBodyAggregate | Clingo.Internal.AST |
| fromRawBodyAggregateElement | Clingo.Internal.AST |
| fromRawBodyLiteral | Clingo.Internal.AST |
| fromRawComparison | Clingo.Internal.AST |
| fromRawComparisonOperator | Clingo.Internal.AST |
| fromRawConditionalLiteral | Clingo.Internal.AST |
| fromRawCspGuard | Clingo.Internal.AST |
| fromRawCspLiteral | Clingo.Internal.AST |
| fromRawCspProductTerm | Clingo.Internal.AST |
| fromRawCspSumTerm | Clingo.Internal.AST |
| fromRawDefinition | Clingo.Internal.AST |
| fromRawDisjoint | Clingo.Internal.AST |
| fromRawDisjointElement | Clingo.Internal.AST |
| fromRawDisjunction | Clingo.Internal.AST |
| fromRawEdge | Clingo.Internal.AST |
| fromRawExternal | Clingo.Internal.AST |
| fromRawExtT | Clingo.Internal.Types |
| fromRawFunction | Clingo.Internal.AST |
| fromRawHeadAggregate | Clingo.Internal.AST |
| fromRawHeadAggregateElement | Clingo.Internal.AST |
| fromRawHeadLiteral | Clingo.Internal.AST |
| fromRawHeuristic | Clingo.Internal.AST |
| fromRawHeuT | Clingo.Internal.Types |
| fromRawIdentifier | Clingo.Internal.AST |
| fromRawInterval | Clingo.Internal.AST |
| fromRawLiteral | Clingo.Internal.AST |
| fromRawLocation | Clingo.Internal.Types |
| fromRawMinimize | Clingo.Internal.AST |
| fromRawPool | Clingo.Internal.AST |
| fromRawProgram | Clingo.Internal.AST |
| fromRawProject | Clingo.Internal.AST |
| fromRawRule | Clingo.Internal.AST |
| fromRawScript | Clingo.Internal.AST |
| fromRawScriptType | Clingo.Internal.AST |
| fromRawShowSignature | Clingo.Internal.AST |
| fromRawShowTerm | Clingo.Internal.AST |
| fromRawSign | Clingo.Internal.AST |
| fromRawSolveMode | Clingo.Internal.Types |
| fromRawSolveResult | Clingo.Internal.Types |
| fromRawStatement | Clingo.Internal.AST |
| fromRawTerm | Clingo.Internal.AST |
| fromRawTheoryAtom | Clingo.Internal.AST |
| fromRawTheoryAtomDefinition | Clingo.Internal.AST |
| fromRawTheoryAtomDefinitionType | Clingo.Internal.AST |
| fromRawTheoryAtomElement | Clingo.Internal.AST |
| fromRawTheoryDefinition | Clingo.Internal.AST |
| fromRawTheoryFunction | Clingo.Internal.AST |
| fromRawTheoryGuard | Clingo.Internal.AST |
| fromRawTheoryGuardDefinition | Clingo.Internal.AST |
| fromRawTheoryOperatorDefinition | Clingo.Internal.AST |
| fromRawTheoryOperatorType | Clingo.Internal.AST |
| fromRawTheoryTerm | Clingo.Internal.AST |
| fromRawTheoryTermArray | Clingo.Internal.AST |
| fromRawTheoryTermDefinition | Clingo.Internal.AST |
| fromRawTheoryUnparsedTerm | Clingo.Internal.AST |
| fromRawTheoryUnparsedTermElement | Clingo.Internal.AST |
| fromRawUnaryOperation | Clingo.Internal.AST |
| fromRawUnaryOperator | Clingo.Internal.AST |
| fromRawWeightedLiteral | Clingo.Internal.Types |
| fromStats | Clingo.Statistics, Clingo |
| fromStatsMany | Clingo.Statistics, Clingo |
| fromSymbolicAtoms | Clingo.Inspection.Symbolic |
| fromSymbolicAtomsSig | Clingo.Inspection.Symbolic |
| fromTheoryAtoms | Clingo.Inspection.Theory |
| Function | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| FunctionSymbol | Clingo.Symbol, Clingo |
| functionSymbol | Clingo.Symbol, Clingo |
| FunctionTerm | Clingo.Inspection.Theory |
| GAcycEdge | Clingo.Inspection.Ground |
| GAssume | Clingo.Inspection.Ground |
| get | Clingo.Configuration, Clingo |
| getCallbackSymbol | Clingo.Raw.Types, Clingo.Raw |
| getConst | Clingo.Control, Clingo |
| getException | Clingo.Internal.Utils |
| getModel | Clingo.Solving, Clingo |
| getResult | Clingo.Solving, Clingo |
| getThreadId | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| GExternal | Clingo.Inspection.Ground |
| GHeuristic | Clingo.Inspection.Ground |
| GMinimize | Clingo.Inspection.Ground |
| gpoAcycEdge | Clingo.Raw.Types, Clingo.Raw |
| gpoAssume | Clingo.Raw.Types, Clingo.Raw |
| gpoBeginStep | Clingo.Raw.Types, Clingo.Raw |
| gpoEndStep | Clingo.Raw.Types, Clingo.Raw |
| gpoExternal | Clingo.Raw.Types, Clingo.Raw |
| gpoHeuristic | Clingo.Raw.Types, Clingo.Raw |
| gpoInitProgram | Clingo.Raw.Types, Clingo.Raw |
| gpoMinimize | Clingo.Raw.Types, Clingo.Raw |
| gpoProject | Clingo.Raw.Types, Clingo.Raw |
| gpoRule | Clingo.Raw.Types, Clingo.Raw |
| gpoTheoryAtom | Clingo.Raw.Types, Clingo.Raw |
| gpoTheoryAtomGrd | Clingo.Raw.Types, Clingo.Raw |
| gpoTheoryElement | Clingo.Raw.Types, Clingo.Raw |
| gpoTheoryTermCmp | Clingo.Raw.Types, Clingo.Raw |
| gpoTheoryTermNum | Clingo.Raw.Types, Clingo.Raw |
| gpoTheoryTermStr | Clingo.Raw.Types, Clingo.Raw |
| gpoWeightRule | Clingo.Raw.Types, Clingo.Raw |
| GProject | Clingo.Inspection.Ground |
| GreaterEqual | Clingo.Internal.AST, Clingo.AST |
| GreaterThan | Clingo.Internal.AST, Clingo.AST |
| ground | Clingo.Control, Clingo |
| GroundProgramObserver | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| GroundStatement | Clingo.ProgramBuilding |
| GroundTheoryAtom | |
| 1 (Type/Class) | Clingo.Inspection.Theory |
| 2 (Data Constructor) | Clingo.Inspection.Theory |
| GroundTheoryTerm | Clingo.Inspection.Theory |
| GRule | Clingo.Inspection.Ground |
| GTheoryAtom | Clingo.Inspection.Ground |
| GTheoryAtomGuard | Clingo.Inspection.Ground |
| GTheoryElement | Clingo.Inspection.Ground |
| GTheoryTermFunction | Clingo.Inspection.Ground |
| GTheoryTermList | Clingo.Inspection.Ground |
| GTheoryTermNumber | Clingo.Inspection.Ground |
| GTheoryTermSet | Clingo.Inspection.Ground |
| GTheoryTermString | Clingo.Inspection.Ground |
| GTheoryTermTuple | Clingo.Inspection.Ground |
| Guard | |
| 1 (Type/Class) | Clingo.Inspection.Theory |
| 2 (Data Constructor) | Clingo.Inspection.Theory |
| GWeightedRule | Clingo.Inspection.Ground |
| hasArray | Clingo.Internal.Configuration |
| hasConflict | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| hasConst | Clingo.Control, Clingo |
| hasLiteral | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| hasMap | Clingo.Internal.Configuration |
| hasValue | Clingo.Internal.Configuration |
| hasWatch | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| Head | Clingo.Internal.AST, Clingo.AST |
| HeadAggregate | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| HeadAggregateElement | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| HeadDisjunction | Clingo.Internal.AST, Clingo.AST |
| HeadHeadAggregate | Clingo.Internal.AST, Clingo.AST |
| HeadLitAggregate | Clingo.Internal.AST, Clingo.AST |
| HeadLiteral | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| HeadTheoryAtom | Clingo.Internal.AST, Clingo.AST |
| Heuristic | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| heuristic | Clingo.ProgramBuilding |
| HeuristicFactor | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| HeuristicFalse | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| HeuristicInit | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| HeuristicLevel | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| HeuristicSign | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| HeuristicTrue | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| HeuristicType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| Identifier | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 3 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| Init | Clingo.Propagation, Clingo |
| initAddWatch | Clingo.Internal.Propagation |
| interrupt | Clingo.Control, Clingo |
| Interrupted | Clingo.Internal.Types, Clingo.Control, Clingo |
| Interval | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| IOPropagator | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| IOSym | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| 2 (Data Constructor) | Clingo.Internal.Types |
| iosym | Clingo.Internal.Types |
| isFixed | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| LessEqual | Clingo.Internal.AST, Clingo.AST |
| LessThan | Clingo.Internal.AST, Clingo.AST |
| levelOf | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| ListTerm | Clingo.Inspection.Theory |
| Literal | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Propagation, Clingo.Propagation, Clingo.ProgramBuilding, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| 4 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| literal | Clingo.Inspection.Symbolic |
| LiteralBool | Clingo.Internal.AST, Clingo.AST |
| LiteralComp | Clingo.Internal.AST, Clingo.AST |
| LiteralCSPL | Clingo.Internal.AST, Clingo.AST |
| LiteralTerm | Clingo.Internal.AST, Clingo.AST |
| loadProgram | Clingo.Control, Clingo |
| Location | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.AST, Clingo |
| 4 (Data Constructor) | Clingo.Internal.Types, Clingo.AST |
| locBeginCol | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.AST |
| locBeginFile | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.AST |
| locBeginLine | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.AST |
| locEndCol | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.AST |
| locEndFile | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.AST |
| locEndLine | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.AST |
| Logger | Clingo.Raw.Types, Clingo.Raw |
| Lua | Clingo.Internal.AST, Clingo.AST |
| marshall0 | Clingo.Internal.Utils |
| marshall1 | Clingo.Internal.Utils |
| marshall1A | Clingo.Internal.Utils |
| marshall1RT | Clingo.Internal.Utils |
| marshall1V | Clingo.Internal.Utils |
| marshall2 | Clingo.Internal.Utils |
| marshall3V | Clingo.Internal.Utils |
| Max | Clingo.Internal.AST, Clingo.AST |
| Min | Clingo.Internal.AST, Clingo.AST |
| Minimize | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| minimize | Clingo.ProgramBuilding |
| Minus | Clingo.Internal.AST, Clingo.AST |
| mkCallbackAst | Clingo.Raw.AST, Clingo.Raw |
| mkCallbackEvent | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackFinish | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackGround | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackLogger | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackPropagatorCheck | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackPropagatorInit | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackPropagatorPropagate | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackPropagatorUndo | Clingo.Raw.Types, Clingo.Raw |
| mkCallbackSymbol | Clingo.Raw.Types, Clingo.Raw |
| mkGpoAcycEdge | Clingo.Raw.Types, Clingo.Raw |
| mkGpoAssume | Clingo.Raw.Types, Clingo.Raw |
| mkGpoBeginStep | Clingo.Raw.Types, Clingo.Raw |
| mkGpoEndStep | Clingo.Raw.Types, Clingo.Raw |
| mkGpoExternal | Clingo.Raw.Types, Clingo.Raw |
| mkGpoHeuristic | Clingo.Raw.Types, Clingo.Raw |
| mkGpoInitProgram | Clingo.Raw.Types, Clingo.Raw |
| mkGpoMinimize | Clingo.Raw.Types, Clingo.Raw |
| mkGpoProject | Clingo.Raw.Types, Clingo.Raw |
| mkGpoRule | Clingo.Raw.Types, Clingo.Raw |
| mkGpoTheoryAtom | Clingo.Raw.Types, Clingo.Raw |
| mkGpoTheoryAtomGrd | Clingo.Raw.Types, Clingo.Raw |
| mkGpoTheoryElement | Clingo.Raw.Types, Clingo.Raw |
| mkGpoTheoryTermCmp | Clingo.Raw.Types, Clingo.Raw |
| mkGpoTheoryTermNum | Clingo.Raw.Types, Clingo.Raw |
| mkGpoTheoryTermStr | Clingo.Raw.Types, Clingo.Raw |
| mkGpoWeightRule | Clingo.Raw.Types, Clingo.Raw |
| Mod | Clingo.Internal.AST, Clingo.AST |
| Model | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Model, Clingo |
| 4 (Data Constructor) | Clingo.Internal.Types |
| modelAddClause | Clingo.Model, Clingo |
| modelContains | Clingo.Raw.Model, Clingo.Raw |
| modelContext | Clingo.Raw.Model, Clingo.Raw |
| modelCost | Clingo.Raw.Model, Clingo.Raw |
| modelCostSize | Clingo.Raw.Model, Clingo.Raw |
| modelNumber | |
| 1 (Function) | Clingo.Raw.Model, Clingo.Raw |
| 2 (Function) | Clingo.Model, Clingo |
| modelOptimalityProven | Clingo.Raw.Model, Clingo.Raw |
| modelSymbols | |
| 1 (Function) | Clingo.Raw.Model, Clingo.Raw |
| 2 (Function) | Clingo.Model, Clingo |
| modelSymbolsSize | Clingo.Raw.Model, Clingo.Raw |
| ModelType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Model, Clingo |
| modelType | |
| 1 (Function) | Clingo.Raw.Model, Clingo.Raw |
| 2 (Function) | Clingo.Model, Clingo |
| MonadModel | Clingo.Model, Clingo |
| MonadSolve | Clingo.Solving, Clingo |
| MonadSymbol | Clingo.Internal.Symbol, Clingo.Symbol, Clingo |
| msgLimit | Clingo.Control, Clingo |
| Mult | Clingo.Internal.AST, Clingo.AST |
| negateAspifLiteral | Clingo.ProgramBuilding |
| negateLiteral | Clingo.Internal.Types, Clingo.Propagation, Clingo |
| negateTruth | Clingo.Internal.Types, Clingo.Propagation, Clingo.Control, Clingo |
| Negation | Clingo.Internal.AST, Clingo.AST |
| NegationSign | Clingo.Internal.AST, Clingo.AST |
| negative | Clingo.Internal.Types, Clingo.Symbol, Clingo.Propagation, Clingo |
| newArray' | Clingo.Internal.AST |
| newLiteral | Clingo.Propagation, Clingo |
| Node | |
| 1 (Type/Class) | Clingo.ProgramBuilding |
| 2 (Data Constructor) | Clingo.ProgramBuilding |
| NoSign | Clingo.Internal.AST, Clingo.AST |
| NotEqual | Clingo.Internal.AST, Clingo.AST |
| NotReady | Clingo.Solving, Clingo |
| NumberTerm | Clingo.Inspection.Theory |
| optimalityProven | Clingo.Model, Clingo |
| Or | Clingo.Internal.AST, Clingo.AST |
| parseProgram | |
| 1 (Function) | Clingo.Raw.AST, Clingo.Raw |
| 2 (Function) | Clingo.AST |
| parseTerm | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| Part | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Control, Clingo |
| 4 (Data Constructor) | Clingo.Control, Clingo |
| partName | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Control, Clingo |
| partParams | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Control, Clingo |
| partSize | Clingo.Raw.Types, Clingo.Raw |
| peekMaybe | Clingo.Internal.AST |
| Plus | Clingo.Internal.AST, Clingo.AST |
| Pool | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| positive | Clingo.Internal.Types, Clingo.Symbol, Clingo.Propagation, Clingo |
| prettySymbol | Clingo.Symbol, Clingo |
| prettySymbol' | Clingo.Internal.Symbol |
| Program | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ProgramBuilder | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.ProgramBuilding |
| 4 (Data Constructor) | Clingo.Internal.Types |
| programBuilder | Clingo.Control, Clingo |
| programBuilderAdd | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| programBuilderBegin | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| programBuilderEnd | Clingo.Raw.ProgramBuilding, Clingo.Raw |
| Project | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| project | Clingo.ProgramBuilding |
| propagate | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| PropagateControl | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| propagateControlAddClause | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlAddLiteral | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlAddWatch | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlAssignment | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlHasWatch | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlPropagate | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlRemoveWatch | Clingo.Raw.Propagation, Clingo.Raw |
| propagateControlThreadId | Clingo.Raw.Propagation, Clingo.Raw |
| PropagateCtrl | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| 2 (Data Constructor) | Clingo.Internal.Types |
| PropagateInit | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| 4 (Data Constructor) | Clingo.Internal.Types |
| propagateInitAddWatch | Clingo.Raw.Propagation, Clingo.Raw |
| propagateInitNumberOfThreads | Clingo.Raw.Propagation, Clingo.Raw |
| propagateInitSolverLiteral | Clingo.Raw.Propagation, Clingo.Raw |
| propagateInitSymbolicAtoms | Clingo.Raw.Propagation, Clingo.Raw |
| propagateInitTheoryAtoms | Clingo.Raw.Propagation, Clingo.Raw |
| Propagation | Clingo.Propagation, Clingo |
| PropagationPhase | Clingo.Propagation, Clingo |
| PropagationStop | Clingo.Internal.Propagation |
| Propagator | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Propagation, Clingo |
| 4 (Data Constructor) | Clingo.Propagation, Clingo |
| propagatorCheck | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| propagatorInit | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| propagatorPropagate | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| propagatorToIO | Clingo.Propagation, Clingo |
| propagatorUndo | |
| 1 (Function) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Types, Clingo.Internal.Propagation |
| propCheck | Clingo.Propagation, Clingo |
| propInit | Clingo.Propagation, Clingo |
| propPropagate | Clingo.Propagation, Clingo |
| propSymbolicAtoms | Clingo.Propagation, Clingo |
| propTheoryAtoms | Clingo.Propagation, Clingo |
| propUndo | Clingo.Propagation, Clingo |
| PureFunction | Clingo.Symbol, Clingo |
| PureInfimum | Clingo.Symbol, Clingo |
| PureNumber | Clingo.Symbol, Clingo |
| PureSignature | |
| 1 (Type/Class) | Clingo.Symbol, Clingo |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| pureSignature | Clingo.Internal.Symbol |
| PureString | Clingo.Symbol, Clingo |
| PureSupremum | Clingo.Symbol, Clingo |
| PureSymbol | Clingo.Symbol, Clingo |
| pureSymbol | Clingo.Internal.Symbol |
| Python | Clingo.Internal.AST, Clingo.AST |
| rawAggregate | Clingo.Internal.AST |
| rawAggregateFunction | Clingo.Internal.AST |
| rawAggregateGuard | Clingo.Internal.AST |
| rawAggregateGuardM | Clingo.Internal.AST |
| rawAspifLiteral | Clingo.Internal.Types |
| rawAtom | Clingo.Internal.Types |
| rawBinaryOperation | Clingo.Internal.AST |
| rawBinaryOperator | Clingo.Internal.AST |
| rawBodyAggregate | Clingo.Internal.AST |
| rawBodyAggregateElement | Clingo.Internal.AST |
| rawBodyLiteral | Clingo.Internal.AST |
| rawComparison | Clingo.Internal.AST |
| rawComparisonOperator | Clingo.Internal.AST |
| rawConditionalLiteral | Clingo.Internal.AST |
| rawCspGuard | Clingo.Internal.AST |
| rawCspLiteral | Clingo.Internal.AST |
| rawCspProductTerm | Clingo.Internal.AST |
| rawCspSumTerm | Clingo.Internal.AST |
| rawDefinition | Clingo.Internal.AST |
| rawDisjoint | Clingo.Internal.AST |
| rawDisjointElement | Clingo.Internal.AST |
| rawDisjunction | Clingo.Internal.AST |
| rawEdge | Clingo.Internal.AST |
| rawExternal | Clingo.Internal.AST |
| rawExtT | Clingo.Internal.Types |
| rawFunction | Clingo.Internal.AST |
| rawHeadAggregate | Clingo.Internal.AST |
| rawHeadAggregateElement | Clingo.Internal.AST |
| rawHeadLiteral | Clingo.Internal.AST |
| rawHeuristic | Clingo.Internal.AST |
| rawHeuT | Clingo.Internal.Types |
| rawIdentifier | Clingo.Internal.AST |
| rawInterval | Clingo.Internal.AST |
| rawLiteral | |
| 1 (Function) | Clingo.Internal.Types |
| 2 (Function) | Clingo.Internal.AST |
| rawLocation | Clingo.Internal.Types |
| rawMinimize | Clingo.Internal.AST |
| rawPool | Clingo.Internal.AST |
| rawProgram | Clingo.Internal.AST |
| rawProject | Clingo.Internal.AST |
| rawPropagator | Clingo.Internal.Types |
| rawRule | Clingo.Internal.AST |
| rawScript | Clingo.Internal.AST |
| rawScriptType | Clingo.Internal.AST |
| rawShowSignature | Clingo.Internal.AST |
| rawShowTerm | Clingo.Internal.AST |
| rawSign | Clingo.Internal.AST |
| rawSignature | Clingo.Internal.Types |
| rawSolveMode | Clingo.Internal.Types |
| rawSolveResult | Clingo.Internal.Types |
| rawStatement | Clingo.Internal.AST |
| rawSymbol | Clingo.Internal.Types |
| rawSymLit | Clingo.Internal.Types |
| rawTerm | Clingo.Internal.AST |
| rawTheoryAtom | Clingo.Internal.AST |
| rawTheoryAtomDefinition | Clingo.Internal.AST |
| rawTheoryAtomDefinitionType | Clingo.Internal.AST |
| rawTheoryAtomElement | Clingo.Internal.AST |
| rawTheoryDefinition | Clingo.Internal.AST |
| rawTheoryFunction | Clingo.Internal.AST |
| rawTheoryGuard | Clingo.Internal.AST |
| rawTheoryGuardDefinition | Clingo.Internal.AST |
| rawTheoryOperatorDefinition | Clingo.Internal.AST |
| rawTheoryOperatorType | Clingo.Internal.AST |
| rawTheoryTerm | Clingo.Internal.AST |
| rawTheoryTermArray | Clingo.Internal.AST |
| rawTheoryTermDefinition | Clingo.Internal.AST |
| rawTheoryUnparsedTerm | Clingo.Internal.AST |
| rawTheoryUnparsedTermElement | Clingo.Internal.AST |
| rawTruthValue | Clingo.Internal.Types |
| rawUnaryOperation | Clingo.Internal.AST |
| rawUnaryOperator | Clingo.Internal.AST |
| rawWeightedLiteral | Clingo.Internal.Types |
| Ready | Clingo.Solving, Clingo |
| registerGroundObserver | Clingo.Inspection.Ground |
| registerPropagator | Clingo.Control, Clingo |
| registerUnsafePropagator | Clingo.Control, Clingo |
| releaseExternal | Clingo.Control, Clingo |
| removeWatch | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| renderAtom | Clingo.Inspection.Theory |
| renderElement | Clingo.Inspection.Theory |
| renderTerm | Clingo.Inspection.Theory |
| reraiseIO | Clingo.Internal.Utils |
| ResultExhausted | Clingo.Raw.Enums, Clingo.Raw |
| ResultInterrupted | Clingo.Raw.Enums, Clingo.Raw |
| ResultReady | Clingo.Solving, Clingo |
| ResultSatisfiable | Clingo.Raw.Enums, Clingo.Raw |
| ResultUnsatisfiable | Clingo.Raw.Enums, Clingo.Raw |
| Rule | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| rule | Clingo.ProgramBuilding |
| runClingo | Clingo.Internal.Types |
| SArray | Clingo.Statistics, Clingo |
| Satisfiable | Clingo.Internal.Types, Clingo.Control, Clingo |
| Script | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ScriptType | Clingo.Internal.AST, Clingo.AST |
| selectAll | Clingo.Model, Clingo |
| selectAtoms | Clingo.Model, Clingo |
| selectCSP | Clingo.Model, Clingo |
| selectExtra | Clingo.Model, Clingo |
| selectNone | Clingo.Model, Clingo |
| selectShown | Clingo.Model, Clingo |
| selectTerms | Clingo.Model, Clingo |
| setError | Clingo.Raw.Basic, Clingo.Raw |
| SetTerm | Clingo.Inspection.Theory |
| ShowAll | Clingo.Raw.Enums, Clingo.Raw |
| ShowAtoms | Clingo.Raw.Enums, Clingo.Raw |
| ShowComplement | Clingo.Raw.Enums, Clingo.Raw |
| ShowCSP | Clingo.Raw.Enums, Clingo.Raw |
| ShowExtra | Clingo.Raw.Enums, Clingo.Raw |
| ShowFlag | Clingo.Raw.Enums, Clingo.Raw |
| ShowShown | Clingo.Raw.Enums, Clingo.Raw |
| ShowSignature | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ShowTerm | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| ShowTerms | Clingo.Raw.Enums, Clingo.Raw |
| sigArity | Clingo.Internal.Types |
| sigHash | Clingo.Internal.Types |
| Sign | Clingo.Internal.AST, Clingo.AST |
| sigName | Clingo.Internal.Types |
| Signature | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.AST, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| signatureArity | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| signatureArity' | Clingo.Internal.Symbol |
| signatureCreate | Clingo.Raw.Symbol, Clingo.Raw |
| signatureHash | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| signatureHash' | Clingo.Internal.Symbol |
| signatureIsEqualTo | Clingo.Raw.Symbol, Clingo.Raw |
| signatureIsLessThan | Clingo.Raw.Symbol, Clingo.Raw |
| signatureIsNegative | Clingo.Raw.Symbol, Clingo.Raw |
| signatureIsPositive | Clingo.Raw.Symbol, Clingo.Raw |
| signatureName | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| signatureName' | Clingo.Internal.Symbol |
| Signed | Clingo.Internal.Types, Clingo.Symbol, Clingo.Propagation, Clingo |
| SIterator | Clingo.Internal.Inspection.Symbolic |
| SKey | Clingo.Internal.Statistics |
| slitPositive | Clingo.Raw.Types, Clingo.Raw |
| slitSymbol | Clingo.Raw.Types, Clingo.Raw |
| SLNegative | Clingo.Internal.Types, Clingo.Control, Clingo |
| SLPositive | Clingo.Internal.Types, Clingo.Control, Clingo |
| SMap | Clingo.Statistics, Clingo |
| solve | Clingo.Control, Clingo |
| SolveControl | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Model, Clingo |
| solveControlAddClause | Clingo.Raw.Model, Clingo.Raw |
| SolveEvent | Clingo.Raw.Enums, Clingo.Raw |
| SolveEventFinish | Clingo.Raw.Enums, Clingo.Raw |
| SolveEventModel | Clingo.Raw.Enums, Clingo.Raw |
| SolveHandle | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| solveHandleCancel | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleClose | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleGet | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleModel | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleResume | Clingo.Raw.Solving, Clingo.Raw |
| solveHandleWait | Clingo.Raw.Solving, Clingo.Raw |
| SolveMode | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| SolveModeAsync | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Control, Clingo |
| SolveModeYield | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Types, Clingo.Control, Clingo |
| Solver | |
| 1 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| 2 (Data Constructor) | Clingo.Internal.Types |
| solverCancel | Clingo.Solving, Clingo |
| solverClose | Clingo.Solving, Clingo |
| SolveResult | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Control, Clingo |
| solverLiteral | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Propagation, Clingo |
| solverResume | Clingo.Solving, Clingo |
| solverWait | Clingo.Solving, Clingo |
| Solving | Clingo.Propagation, Clingo |
| StableModel | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Model, Clingo |
| Statement | Clingo.Internal.AST, Clingo.AST |
| StateVar | Clingo.Configuration, Clingo |
| Statistics | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Internal.Statistics |
| 4 (Data Constructor) | Clingo.Internal.Types |
| statistics | Clingo.Control, Clingo |
| statisticsArrayAt | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsArraySize | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsMapAt | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsMapSize | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsMapSubkeyName | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsRoot | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| StatisticsType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Statistics |
| statisticsType | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| statisticsValueGet | |
| 1 (Function) | Clingo.Raw.Statistics, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Statistics |
| StatsArray | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StatsEmpty | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StatsMap | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StatsTree | Clingo.Statistics, Clingo |
| StatsValue | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Internal.Statistics |
| StmtDefinition | Clingo.Internal.AST, Clingo.AST |
| StmtEdge | Clingo.Internal.AST, Clingo.AST |
| StmtExternal | Clingo.Internal.AST, Clingo.AST |
| StmtHeuristic | Clingo.Internal.AST, Clingo.AST |
| StmtMinimize | Clingo.Internal.AST, Clingo.AST |
| StmtProgram | Clingo.Internal.AST, Clingo.AST |
| StmtProject | Clingo.Internal.AST, Clingo.AST |
| StmtRule | Clingo.Internal.AST, Clingo.AST |
| StmtScript | Clingo.Internal.AST, Clingo.AST |
| StmtShowSignature | Clingo.Internal.AST, Clingo.AST |
| StmtShowTerm | Clingo.Internal.AST, Clingo.AST |
| StmtSignature | Clingo.Internal.AST, Clingo.AST |
| StmtTheoryDefinition | Clingo.Internal.AST, Clingo.AST |
| Stop | |
| 1 (Data Constructor) | Clingo.Internal.Propagation |
| 2 (Data Constructor) | Clingo.Control, Clingo |
| subStats | Clingo.Statistics, Clingo |
| Sum | Clingo.Internal.AST, Clingo.AST |
| Sump | Clingo.Internal.AST, Clingo.AST |
| SValue | Clingo.Statistics, Clingo |
| symArgs | Clingo.Internal.Types |
| Symbol | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Type/Class) | Clingo.Internal.Types, Clingo.Symbol, Clingo.AST, Clingo |
| 3 (Data Constructor) | Clingo.Internal.Types |
| symbol | Clingo.Inspection.Symbolic |
| symbolArguments | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolArguments' | Clingo.Internal.Symbol |
| symbolCreateFunction | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateId | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateInfimum | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateNumber | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateString | Clingo.Raw.Symbol, Clingo.Raw |
| symbolCreateSupremum | Clingo.Raw.Symbol, Clingo.Raw |
| symbolGetArg | Clingo.Symbol, Clingo |
| symbolHash | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolHash' | Clingo.Internal.Symbol |
| SymbolicAtom | |
| 1 (Type/Class) | Clingo.Inspection.Symbolic |
| 2 (Data Constructor) | Clingo.Inspection.Symbolic |
| SymbolicAtomIterator | Clingo.Raw.Types, Clingo.Raw |
| SymbolicAtoms | |
| 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.Symbolic, Clingo.Inspection.Symbolic |
| 4 (Data Constructor) | Clingo.Internal.Types |
| symbolicAtoms | |
| 1 (Function) | Clingo.Internal.Propagation |
| 2 (Function) | Clingo.Control, Clingo |
| symbolicAtomsBegin | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsEnd | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsFind | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIsExternal | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIsFact | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIsValid | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIteratorEq | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsIteratorIsEqualTo | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| symbolicAtomsLiteral | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsNext | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsSignatures | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic, Clingo.Inspection.Symbolic |
| symbolicAtomsSignaturesSize | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| symbolicAtomsSize | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| symbolicAtomsSymbol | |
| 1 (Function) | Clingo.Raw.Inspection.Symbolic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Inspection.Symbolic |
| SymbolicLiteral | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types, Clingo.Model, Clingo.Control, Clingo |
| symbolIsEqualTo | Clingo.Raw.Symbol, Clingo.Raw |
| symbolIsLessThan | Clingo.Raw.Symbol, Clingo.Raw |
| symbolIsNegative | Clingo.Raw.Symbol, Clingo.Raw |
| symbolIsPositive | Clingo.Raw.Symbol, Clingo.Raw |
| symbolName | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolName' | Clingo.Internal.Symbol |
| symbolNumber | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolNumber' | Clingo.Internal.Symbol |
| SymbolSelection | |
| 1 (Type/Class) | Clingo.Model, Clingo |
| 2 (Data Constructor) | Clingo.Model, Clingo |
| symbolString | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| symbolString' | Clingo.Internal.Symbol |
| SymbolTerm | Clingo.Inspection.Theory |
| symbolToString | Clingo.Raw.Symbol, Clingo.Raw |
| symbolToStringSize | Clingo.Raw.Symbol, Clingo.Raw |
| SymbolType | |
| 1 (Type/Class) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Type/Class) | Clingo.Symbol, Clingo |
| 3 (Data Constructor) | Clingo.Symbol, Clingo |
| symbolType | |
| 1 (Function) | Clingo.Raw.Symbol, Clingo.Raw |
| 2 (Function) | Clingo.Symbol, Clingo |
| SymFunction | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symHash | Clingo.Internal.Types |
| SymInfimum | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symName | Clingo.Internal.Types |
| symNum | Clingo.Internal.Types |
| SymNumber | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symPretty | Clingo.Internal.Types |
| SymString | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symString | Clingo.Internal.Types |
| SymSupremum | |
| 1 (Data Constructor) | Clingo.Raw.Enums, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Symbol, Clingo |
| symType | Clingo.Internal.Types |
| 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 |
| Unary | Clingo.Internal.AST, Clingo.AST |
| UnaryMinus | Clingo.Internal.AST, Clingo.AST |
| UnaryOperation | |
| 1 (Type/Class) | Clingo.Internal.AST, Clingo.AST |
| 2 (Data Constructor) | Clingo.Internal.AST, Clingo.AST |
| UnaryOperator | Clingo.Internal.AST, Clingo.AST |
| unNode | Clingo.ProgramBuilding |
| unpureSignature | Clingo.Symbol, Clingo |
| unpureSymbol | Clingo.Symbol, Clingo |
| Unsatisfiable | Clingo.Internal.Types, Clingo.Control, Clingo |
| useComplement | Clingo.Model, Clingo |
| useEnumAssumption | Clingo.Control, Clingo |
| value | Clingo.Internal.Types, Clingo.Statistics, Clingo.Configuration, Clingo |
| version | |
| 1 (Function) | Clingo.Raw.Basic, Clingo.Raw |
| 2 (Function) | Clingo.Control, Clingo |
| WarnAtomUndefined | Clingo.Raw.Enums, Clingo.Raw |
| WarnFileIncluded | Clingo.Raw.Enums, Clingo.Raw |
| WarnGlobalVariable | Clingo.Raw.Enums, Clingo.Raw |
| warningString | |
| 1 (Function) | Clingo.Raw.Basic, Clingo.Raw |
| 2 (Function) | Clingo.Internal.Utils, Clingo.Symbol, Clingo.Control, Clingo |
| WarnOpUndefined | Clingo.Raw.Enums, Clingo.Raw |
| WarnOther | Clingo.Raw.Enums, Clingo.Raw |
| WarnRTError | Clingo.Raw.Enums, Clingo.Raw |
| WarnVariableUnbounded | Clingo.Raw.Enums, Clingo.Raw |
| Weight | Clingo.Raw.Types, Clingo.Raw |
| WeightedLiteral | |
| 1 (Type/Class) | Clingo.Raw.Types, Clingo.Raw |
| 2 (Data Constructor) | Clingo.Raw.Types, Clingo.Raw |
| 3 (Type/Class) | Clingo.Internal.Types |
| 4 (Data Constructor) | Clingo.Internal.Types |
| weightedRule | Clingo.ProgramBuilding |
| withClingo | Clingo.Control, Clingo |
| withDefaultClingo | Clingo.Control, Clingo |
| withSolver | Clingo.Control, Clingo |
| wlLiteral | Clingo.Raw.Types, Clingo.Raw |
| wlWeight | Clingo.Raw.Types, Clingo.Raw |
| wrapCBLogger | Clingo.Internal.Types |
| Xor | Clingo.Internal.AST, Clingo.AST |