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 Struct Reference
Abstract Syntax Trees
Public Attributes
char const *
operator_name
clingo_ast_theory_term_t
term
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