Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Public Attributes | |
clingo_location_t | location |
clingo_ast_term_t const * | tuple |
size_t | tuple_size |
clingo_ast_csp_sum_term_t | term |
clingo_ast_literal_t const * | condition |
size_t | condition_size |