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
Public Attributes
|
List of all members
clingo_ast_rule Struct Reference
Abstract Syntax Trees
Detailed Description
Examples:
ast.c
.
Public Attributes
clingo_ast_head_literal_t
head
clingo_ast_body_literal_t
const *
body
size_t
size
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