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

Public Attributes

char const * name
 
clingo_ast_term_t value
 
bool is_default
 

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