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 Wed Jun 27 2018 16:12:22 for Clingo C API by
1.8.13