theory.h

#ifndef CLINGO_THEORY_H
#define CLINGO_THEORY_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
 
 
#include <clingo/app.h>
#include <clingo/ast.h>
#include <clingo/core.h>
#include <clingo/stats.h>
#include <clingo/symbol.h>
 
enum clingo_theory_value_type_e {
    clingo_theory_value_type_int = 0,
    clingo_theory_value_type_double = 1,
    clingo_theory_value_type_symbol = 2
};
typedef int clingo_theory_value_type_t;
typedef struct clingo_theory_value {
    clingo_theory_value_type_t type;
    union {
        int int_number;
        double double_number;
        clingo_symbol_t symbol;
    };
} clingo_theory_value_t;
 
typedef bool (*clingo_theory_ast_callback_t)(clingo_ast_t *ast, void *data);
 
typedef struct clingo_theory {
    bool (*info)(void *self, clingo_string_t *name, int *major, int *minor, int *revision);
    void (*destroy)(void *self);
    bool (*register_theory)(void *self, clingo_control_t *control);
    bool (*rewrite_ast)(void *self, clingo_ast_t *statement, clingo_theory_ast_callback_t callback, void *data);
    bool (*prepare)(void *self, clingo_control_t *control);
    bool (*register_options)(void *self, clingo_options_t *options);
    bool (*validate_options)(void *self);
    bool (*configure)(void *self, char const *key, size_t key_size, char const *value, size_t value_size);
    bool (*on_model)(void *self, clingo_model_t *model);
    bool (*on_stats)(void *self, clingo_stats_t *stats);
    bool (*lookup_symbol)(void *self, clingo_symbol_t symbol, size_t *index, bool *found);
    bool (*assignment_next)(void *self, uint32_t thread_id, bool *init, size_t *index, bool *has_value);
    bool (*assignment_get_value)(void *self, uint32_t thread_id, size_t index, clingo_symbol_t *symbol,
                                 clingo_theory_value_t *value, bool *has_value);
 
    void *self;
} clingo_theory_t;
 
 
#ifdef __cplusplus
}
#endif
 
#endif