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 |