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