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 | |
clingo_ast_constructor_t const * | constructors |
size_t | size |