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
Abstract Syntax Trees
Public Attributes
char const *
name
clingo_ast_term_t
value
bool
is_default
The documentation for this struct was generated from the following file:
clingo.h
Generated on Mon Aug 26 2019 12:10:53 for Clingo C API by
1.8.13
1.8.13