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_element Struct Reference
Abstract Syntax Trees

Public Attributes

clingo_ast_term_t const * tuple
 
size_t tuple_size
 
clingo_ast_conditional_literal_t conditional_literal
 
The documentation for this struct was generated from the following file:
Generated on Thu Aug 18 2016 13:19:53 for Clingo C API by   doxygen 1.8.11