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

Detailed Description

Examples:
ast.c.

Public Attributes

clingo_location_t location
 
clingo_ast_statement_type_t type
 
union {
   clingo_ast_rule_t const *   rule
 
   clingo_ast_definition_t const *   definition
 
   clingo_ast_show_signature_t const *   show_signature
 
   clingo_ast_show_term_t const *   show_term
 
   clingo_ast_minimize_t const *   minimize
 
   clingo_ast_script_t const *   script
 
   clingo_ast_program_t const *   program
 
   clingo_ast_external_t const *   external
 
   clingo_ast_edge_t const *   edge
 
   clingo_ast_heuristic_t const *   heuristic
 
   clingo_ast_project_t const *   project_atom
 
   clingo_signature_t   project_signature
 
   clingo_ast_theory_definition_t const *   theory_definition
 
}; 
 

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