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