Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
clingo_ast_head_aggregate Struct Reference

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
 

The documentation for this struct was generated from the following file: