script.h

#ifndef CLINGO_SCRIPT_H
#define CLINGO_SCRIPT_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/control.h>
#include <clingo/core.h>
#include <clingo/symbol.h>
 
 
typedef struct clingo_script {
    bool (*execute)(char const *code, size_t size, void *data);
    bool (*call)(clingo_lib_t *lib, clingo_location_t const *loc, char const *name, size_t name_size,
                 clingo_symbol_t const *arguments, size_t arguments_size, clingo_symbol_callback_t symbol_callback,
                 void *symbol_callback_data, void *data);
    bool (*callable)(char const *name, size_t size, size_t arguments, bool *result, void *data);
    bool (*main)(clingo_lib_t *lib, clingo_control_t *control, void *data);
    void (*name)(void *data, clingo_string_t *name);
    void (*version)(void *data, clingo_string_t *version);
    void (*free)(void *data);
} clingo_script_t;
 
CLINGO_VISIBILITY_DEFAULT bool clingo_script_register(clingo_lib_t *lib, clingo_script_t const *script, void *data);
 
 
#ifdef __cplusplus
}
#endif
 
#endif