observe.h

#ifndef CLINGO_OBSERVE_H
#define CLINGO_OBSERVE_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/base.h>
#include <clingo/core.h>
#include <clingo/shared.h>
#include <clingo/symbol.h>
 
typedef struct clingo_control clingo_control_t;
 
 
enum clingo_write_aspif_mode_e {
    clingo_write_aspif_mode_preamble = 1,      
    clingo_write_aspif_mode_preamble_auto = 2, 
    clingo_write_aspif_mode_append = 4,        
    clingo_write_aspif_mode_preprocess = 8,    
    clingo_write_aspif_mode_symbols = 16,      
};
using clingo_write_aspif_mode_t = unsigned;
 
typedef struct clingo_observer {
    bool (*init_program)(bool incremental, void *data);
    bool (*begin_step)(void *data);
    bool (*end_step)(clingo_base_t const *base, void *data);
 
    bool (*rule)(bool choice, clingo_atom_t const *head, size_t head_size, clingo_literal_t const *body,
                 size_t body_size, void *data);
    bool (*weight_rule)(bool choice, clingo_atom_t const *head, size_t head_size, clingo_weight_t lower_bound,
                        clingo_weighted_literal_t const *body, size_t body_size, void *data);
    bool (*minimize)(clingo_weight_t priority, clingo_weighted_literal_t const *literals, size_t size, void *data);
    bool (*project)(clingo_atom_t const *atoms, size_t size, void *data);
    bool (*external)(clingo_atom_t atom, clingo_external_type_t type, void *data);
    bool (*assume)(clingo_literal_t const *literals, size_t size, void *data);
    bool (*heuristic)(clingo_atom_t atom, clingo_heuristic_type_t type, int bias, unsigned priority,
                      clingo_literal_t const *condition, size_t size, void *data);
    bool (*acyc_edge)(int node_u, int node_v, clingo_literal_t const *condition, size_t size, void *data);
} clingo_observer_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_observe(clingo_control_t *control, clingo_observer_t const *observer,
                                                      void *data, bool preprocess);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_write_aspif(clingo_control_t *control, char const *path, size_t size,
                                                          clingo_write_aspif_mode_t mode);
 
 
#ifdef __cplusplus
}
#endif
 
#endif