| 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 |