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

Public Attributes

clingo_ast_csp_sum_term_t term
 
clingo_ast_csp_guard_t const * guards
 
size_t size
 
The documentation for this struct was generated from the following file:
Generated on Wed Oct 19 2016 09:14:55 for Clingo C API by   doxygen 1.8.11