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

Detailed Description

Examples:
ast.c.

Public Attributes

clingo_location_t location
 
clingo_ast_sign_t sign
 
clingo_ast_literal_type_t type
 
union {
   bool   boolean
 
   clingo_ast_term_t const *   symbol
 
   clingo_ast_comparison_t const *   comparison
 
   clingo_ast_csp_literal_t const *   csp_literal
 
}; 
 

The documentation for this struct was generated from the following file: