Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Struct to define an argument that consists of a name and a type.
Public Attributes | |
clingo_ast_attribute_t | attribute |
clingo_ast_attribute_type_t | type |