solve.h

#ifndef CLINGO_SOLVE_H
#define CLINGO_SOLVE_H
 
#include "clingo/stats.h"
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/core.h>
#include <clingo/model.h>
 
typedef struct clingo_control clingo_control_t;
 
 
 
enum clingo_solve_result_e {
    clingo_solve_result_satisfiable = 1,   
    clingo_solve_result_unsatisfiable = 2, 
    clingo_solve_result_exhausted = 4,     
    clingo_solve_result_interrupted = 8    
};
typedef unsigned clingo_solve_result_bitset_t;
 
enum clingo_solve_mode_e {
    clingo_solve_mode_async = 1, 
    clingo_solve_mode_yield = 2, 
    clingo_solve_mode_lock = 4,  
};
typedef unsigned clingo_solve_mode_bitset_t;
 
typedef struct clingo_solve_event_handler {
    bool (*model)(clingo_model_t *model, void *data, bool *goon);
    bool (*unsat)(int64_t const *values, size_t size, void *data);
    bool (*stats)(clingo_stats_t *stats, void *data);
    void (*finish)(clingo_solve_result_bitset_t result, void *data);
    void (*free)(void *data);
} clingo_solve_event_handler_t;
 
typedef struct clingo_solve_handle clingo_solve_handle_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_get(clingo_solve_handle_t *handle,
                                                       clingo_solve_result_bitset_t *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_wait(clingo_solve_handle_t *handle, double timeout, bool *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_model(clingo_solve_handle_t *handle, clingo_model_t const **model);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_core(clingo_solve_handle_t *handle,
                                                        clingo_literal_t const **literals, size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_last(clingo_solve_handle_t *handle, clingo_model_t const **model);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_resume(clingo_solve_handle_t *handle);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_cancel(clingo_solve_handle_t *handle);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_handle_close(clingo_solve_handle_t *handle);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_control_solve(clingo_control_t *control, clingo_solve_mode_bitset_t mode,
                                                    clingo_literal_t const *assumptions, size_t assumptions_size,
                                                    clingo_solve_event_handler_t const *handler, void *data,
                                                    clingo_solve_handle_t **handle);
 
 
#ifdef __cplusplus
}
#endif
 
#endif