ast.h

#ifndef CLINGO_AST_H
#define CLINGO_AST_H
 
#include <clingo/core.h>
#include <clingo/symbol.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
typedef struct clingo_control clingo_control_t;
 
 
 
enum clingo_ast_type_e {
    // terms
    clingo_ast_type_format_field_literal,
    clingo_ast_type_format_field_expression,
    clingo_ast_type_projection,
    clingo_ast_type_term_variable,
    clingo_ast_type_term_symbolic,
    clingo_ast_type_term_format_string,
    clingo_ast_type_term_absolute,
    clingo_ast_type_term_unary_operation,
    clingo_ast_type_term_binary_operation,
    clingo_ast_type_term_tuple,
    clingo_ast_type_term_function,
    clingo_ast_type_argument_tuple,
    // theory terms
    clingo_ast_type_unparsed_element,
    clingo_ast_type_theory_term_variable,
    clingo_ast_type_theory_term_symbolic,
    clingo_ast_type_theory_term_tuple,
    clingo_ast_type_theory_term_function,
    clingo_ast_type_theory_term_unparsed,
    // literals
    clingo_ast_type_left_guard,
    clingo_ast_type_right_guard,
    clingo_ast_type_literal_boolean,
    clingo_ast_type_literal_comparison,
    clingo_ast_type_literal_symbolic,
    // set aggregates and theory atoms
    clingo_ast_type_set_aggregate_element,
    clingo_ast_type_theory_atom_element,
    clingo_ast_type_theory_right_guard,
    // body literals
    clingo_ast_type_body_simple_literal,
    clingo_ast_type_body_aggregate_element,
    clingo_ast_type_body_aggregate,
    clingo_ast_type_body_set_aggregate,
    clingo_ast_type_body_theory_atom,
    clingo_ast_type_body_conditional_literal,
    // head literals
    clingo_ast_type_head_simple_literal,
    clingo_ast_type_head_aggregate_element,
    clingo_ast_type_head_aggregate,
    clingo_ast_type_head_set_aggregate,
    clingo_ast_type_head_theory_atom,
    clingo_ast_type_head_conditional_literal,
    clingo_ast_type_head_disjunction,
    // theory definition
    clingo_ast_type_theory_operator_definition,
    clingo_ast_type_theory_term_definition,
    clingo_ast_type_theory_guard_definition,
    clingo_ast_type_theory_atom_definition,
    // elements
    clingo_ast_type_optimize_tuple,
    clingo_ast_type_optimize_element,
    clingo_ast_type_edge,
    clingo_ast_type_program_part,
    // statements
    clingo_ast_type_statement_rule,
    clingo_ast_type_statement_theory,
    clingo_ast_type_statement_optimize,
    clingo_ast_type_statement_weak_constraint,
    clingo_ast_type_statement_show,
    clingo_ast_type_statement_show_nothing,
    clingo_ast_type_statement_show_signature,
    clingo_ast_type_statement_project,
    clingo_ast_type_statement_project_signature,
    clingo_ast_type_statement_defined,
    clingo_ast_type_statement_external,
    clingo_ast_type_statement_edge,
    clingo_ast_type_statement_heuristic,
    clingo_ast_type_statement_script,
    clingo_ast_type_statement_program,
    clingo_ast_type_statement_include,
    clingo_ast_type_statement_const,
    clingo_ast_type_statement_parts,
    clingo_ast_type_statement_comment
};
typedef int clingo_ast_type_t;
 
enum clingo_ast_attribute_e {
    clingo_ast_attribute_anonymous,
    clingo_ast_attribute_arguments,
    clingo_ast_attribute_arity,
    clingo_ast_attribute_atom,
    clingo_ast_attribute_atoms,
    clingo_ast_attribute_atom_type,
    clingo_ast_attribute_body,
    clingo_ast_attribute_comment_type,
    clingo_ast_attribute_condition,
    clingo_ast_attribute_precedence,
    clingo_ast_attribute_elements,
    clingo_ast_attribute_external,
    clingo_ast_attribute_external_type,
    clingo_ast_attribute_function,
    clingo_ast_attribute_guard,
    clingo_ast_attribute_head,
    clingo_ast_attribute_include_type,
    clingo_ast_attribute_left,
    clingo_ast_attribute_literal,
    clingo_ast_attribute_location,
    clingo_ast_attribute_modifier,
    clingo_ast_attribute_name,
    clingo_ast_attribute_operators,
    clingo_ast_attribute_operator_type,
    clingo_ast_attribute_optimize_type,
    clingo_ast_attribute_pool,
    clingo_ast_attribute_priority,
    clingo_ast_attribute_relation,
    clingo_ast_attribute_right,
    clingo_ast_attribute_script_type,
    clingo_ast_attribute_sign,
    clingo_ast_attribute_symbol,
    clingo_ast_attribute_term,
    clingo_ast_attribute_terms,
    clingo_ast_attribute_theory_operator,
    clingo_ast_attribute_tuple,
    clingo_ast_attribute_tuple_type,
    clingo_ast_attribute_u,
    clingo_ast_attribute_v,
    clingo_ast_attribute_value,
    clingo_ast_attribute_weight,
};
 
typedef int clingo_ast_attribute_t;
 
typedef struct clingo_ast clingo_ast_t;
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_construct(clingo_lib_t *lib, clingo_ast_type_t type, clingo_ast_t **ast, ...);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_copy(clingo_ast_t *ast, clingo_ast_t **copy);
 
enum clingo_ast_parse_type_e {
    clingo_ast_parse_type_term,
    clingo_ast_parse_type_theory_term,
    clingo_ast_parse_type_literal,
    clingo_ast_parse_type_body_literal,
    clingo_ast_parse_type_head_literal,
    clingo_ast_parse_type_statement,
};
typedef int clingo_ast_parse_type_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_parse_expression(clingo_lib_t *lib, clingo_ast_parse_type_t type,
                                                           char const *string, size_t size, clingo_ast_t **ast);
 
CLINGO_VISIBILITY_DEFAULT void clingo_ast_free(clingo_ast_t *ast);
 
CLINGO_VISIBILITY_DEFAULT void clingo_ast_array_free(clingo_ast_t **ast, size_t size);
 
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_to_string(clingo_ast_t *ast, clingo_string_builder_t *builder);
 
 
 
CLINGO_VISIBILITY_DEFAULT int clingo_ast_compare(clingo_ast_t *a, clingo_ast_t *b);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_equal(clingo_ast_t *a, clingo_ast_t *b);
 
CLINGO_VISIBILITY_DEFAULT size_t clingo_ast_hash(clingo_ast_t *ast);
 
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_get_type(clingo_ast_t *ast, clingo_ast_type_t *type);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_number(clingo_ast_t *ast, clingo_ast_attribute_t attribute,
                                                               int *value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_symbol(clingo_ast_t *ast, clingo_ast_attribute_t attribute,
                                                               clingo_symbol_t *value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_location(clingo_ast_t *ast, clingo_ast_attribute_t attribute,
                                                                 clingo_location_t const **value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_string(clingo_ast_t *ast, clingo_ast_attribute_t attribute,
                                                               clingo_string_t *value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_string_array(clingo_ast_t *ast,
                                                                     clingo_ast_attribute_t attribute,
                                                                     clingo_string_t const **value, size_t *size);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_symbol_array(clingo_ast_t *ast,
                                                                     clingo_ast_attribute_t attribute,
                                                                     clingo_symbol_t const **value, size_t *size);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_ast(clingo_ast_t *ast, clingo_ast_attribute_t attribute,
                                                            clingo_ast_t **value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_attribute_get_ast_array(clingo_ast_t *ast, clingo_ast_attribute_t attribute,
                                                                  clingo_ast_t ***value, size_t *size);
 
CLINGO_VISIBILITY_DEFAULT char const *clingo_ast_type_info_yaml(void);
 
 
 
typedef bool (*clingo_ast_callback_t)(clingo_ast_t *ast, void *data);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_parse_string(clingo_lib_t *lib, char const *program, size_t size,
                                                       clingo_control_t *control, clingo_ast_callback_t callback,
                                                       void *data);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_parse_files(clingo_lib_t *lib, clingo_string_t const *files, size_t size,
                                                      clingo_control_t *control, clingo_ast_callback_t callback,
                                                      void *data);
 
 
enum clingo_projection_mode_e {
    clingo_projection_mode_disabled = 0,  
    clingo_projection_mode_anonymous = 1, 
    clingo_projection_mode_pure = 2,      
};
typedef int clingo_projection_mode_t;
 
typedef struct clingo_ast_rewrite_context clingo_ast_rewrite_context_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_rewrite_context_create(clingo_lib_t *lib,
                                                                 clingo_ast_rewrite_context_t **context);
 
CLINGO_VISIBILITY_DEFAULT void clingo_ast_rewrite_context_free(clingo_ast_rewrite_context_t *context);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_rewrite_context_add_param(clingo_ast_rewrite_context_t *context,
                                                                    char const *param, size_t size);
 
CLINGO_VISIBILITY_DEFAULT void clingo_ast_rewrite_context_clear_params(clingo_ast_rewrite_context_t *context);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_rewrite_context_add_theory(clingo_ast_rewrite_context_t *context,
                                                                     clingo_ast_t const *theory);
 
CLINGO_VISIBILITY_DEFAULT void clingo_ast_rewrite_context_set_project_anonymous(clingo_ast_rewrite_context_t *context,
                                                                                bool value);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_rewrite_context_get_project_anonymous(clingo_ast_rewrite_context_t *context);
 
CLINGO_VISIBILITY_DEFAULT void clingo_ast_rewrite_context_set_project_mode(clingo_ast_rewrite_context_t *context,
                                                                           clingo_projection_mode_t value);
 
CLINGO_VISIBILITY_DEFAULT clingo_projection_mode_t
clingo_ast_rewrite_context_get_project_mode(clingo_ast_rewrite_context_t *context);
 
CLINGO_VISIBILITY_DEFAULT clingo_lib_t *clingo_ast_rewrite_context_get_lib(clingo_ast_rewrite_context_t *context);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ast_rewrite(clingo_ast_rewrite_context_t *context, clingo_ast_t *statement,
                                                  clingo_ast_t ***result, size_t *result_size);
 
typedef struct clingo_program clingo_program_t;
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_program_new(clingo_lib_t *lib, clingo_program_t **program);
CLINGO_VISIBILITY_DEFAULT void clingo_program_free(clingo_program_t *program);
CLINGO_VISIBILITY_DEFAULT bool clingo_program_add(clingo_program_t *program, clingo_ast_t *statement);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_join(clingo_control_t *control, clingo_program_t const *program);
 
 
#ifdef __cplusplus
}
#endif
 
#endif