|
Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Struct to map AST types to lists of required attributes to construct ASTs.
Public Attributes | |
| const clingo_ast_constructor_t * | constructors |
| size_t | size |
1.8.17