Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
A lists of required attributes to construct an AST.
Public Attributes | |
const char * | name |
const clingo_ast_argument_t * | arguments |
size_t | size |