Clingo C API
C API for clingo providing high level functions to control grounding and solving.
Public Attributes | List of all members
clingo_ast_rule Struct Reference

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: