Clingo C API
C API for clingo providing high level functions to control grounding and solving.
|
Public Attributes | |
clingo_ast_aggregate_function_t | function |
clingo_ast_head_aggregate_element_t const * | elements |
size_t | size |
clingo_ast_aggregate_guard_t const * | left_guard |
clingo_ast_aggregate_guard_t const * | right_guard |