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