Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Main Page
Modules
Classes
Files
Examples
Class List
Class Index
Class Members
•
All
Classes
Files
Functions
Variables
Typedefs
Enumerations
Enumerator
Modules
Pages
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 Thu Aug 18 2016 13:19:53 for Clingo C API by
1.8.11