ground.h

#ifndef CLINGO_GROUND_H
#define CLINGO_GROUND_H
 
#include <clingo/core.h>
#include <clingo/model.h>
#include <clingo/stats.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
 
 
typedef struct clingo_part {
    char const *name;              
    size_t name_size;              
    clingo_symbol_t const *params; 
    size_t params_size;            
} clingo_part_t;
 
enum clingo_ground_result_e {
    clingo_ground_result_ok = 0,            
    clingo_ground_result_unsatisfiable = 1, 
    clingo_ground_result_interrupted = 2,   
};
typedef unsigned clingo_ground_result_t;
 
typedef struct clingo_ground_event_handler {
    bool (*callable)(char const *name, size_t name_size, size_t arguments_size, void *data, bool *result);
    bool (*call)(clingo_lib_t *lib, clingo_location_t const *location, char const *name, size_t name_size,
                 clingo_symbol_t const *arguments, size_t arguments_size, void *data,
                 clingo_symbol_callback_t symbol_callback, void *symbol_callback_data);
    void (*finish)(clingo_ground_result_t result, void *data);
    void (*free)(void *data);
} clingo_ground_event_handler_t;
 
typedef struct clingo_ground_handle clingo_ground_handle_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_ground_handle_get(clingo_ground_handle_t *handle, clingo_ground_result_t *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_ground_handle_wait(clingo_ground_handle_t *handle, double timeout, bool *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_ground_handle_cancel(clingo_ground_handle_t *handle);
CLINGO_VISIBILITY_DEFAULT void clingo_ground_handle_close(clingo_ground_handle_t *handle);
 
 
#ifdef __cplusplus
}
#endif
 
#endif