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

Detailed Description

Examples:
ast.c.

Public Attributes

clingo_location_t location
 
clingo_ast_term_type_t type
 
union {
   clingo_symbol_t   symbol
 
   char const *   variable
 
   clingo_ast_unary_operation_t const *   unary_operation
 
   clingo_ast_binary_operation_t const *   binary_operation
 
   clingo_ast_interval_t const *   interval
 
   clingo_ast_function_t const *   function
 
   clingo_ast_function_t const *   external_function
 
   clingo_ast_pool_t const *   pool
 
}; 
 

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