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

Public Attributes

char const * term
 
char const *const * operators
 
size_t size
 
The documentation for this struct was generated from the following file:
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by   doxygen 1.8.13