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

Public Attributes

clingo_location_t location
 
clingo_ast_term_t const * tuple
 
size_t tuple_size
 
clingo_ast_csp_sum_term_t term
 
clingo_ast_literal_t const * condition
 
size_t condition_size
 

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