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

Detailed Description

Examples:
ast.c.

Public Attributes

clingo_location_t location
 
clingo_ast_sign_t sign
 
clingo_ast_body_literal_type_t type
 
union {
   clingo_ast_literal_t const *   literal
 
   clingo_ast_conditional_literal_t const *   conditional
 
   clingo_ast_aggregate_t const *   aggregate
 
   clingo_ast_body_aggregate_t const *   body_aggregate
 
   clingo_ast_theory_atom_t const *   theory_atom
 
   clingo_ast_disjoint_t const *   disjoint
 
}; 
 

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