model.h

#ifndef CLINGO_MODEL_H
#define CLINGO_MODEL_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <clingo/base.h>
#include <clingo/core.h>
#include <clingo/symbol.h>
 
 
 
typedef struct clingo_solve_control clingo_solve_control_t;
 
typedef struct clingo_model clingo_model_t;
 
enum clingo_model_type_e {
    clingo_model_type_stable_model = 0,         
    clingo_model_type_brave_consequences = 1,   
    clingo_model_type_cautious_consequences = 2 
};
typedef int clingo_model_type_t;
 
enum clingo_show_type_e {
    clingo_show_type_shown = 1,  
    clingo_show_type_atoms = 2,  
    clingo_show_type_terms = 4,  
    clingo_show_type_theory = 8, 
    clingo_show_type_all = 15,   
};
typedef unsigned clingo_show_type_bitset_t;
 
enum clingo_consequence_e {
    clingo_consequence_false = 0,   
    clingo_consequence_true = 1,    
    clingo_consequence_unknown = 2, 
};
typedef int clingo_consequence_t;
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_model_type(clingo_model_t const *model, clingo_model_type_t *type);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_number(clingo_model_t const *model, uint64_t *number);
 
CLINGO_VISIBILITY_DEFAULT bool clingo_model_symbols(clingo_model_t const *model, clingo_show_type_bitset_t show,
                                                    clingo_symbol_callback_t callback, void *data);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_contains(clingo_model_t const *model, clingo_symbol_t atom,
                                                     bool *contained);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_is_true(clingo_model_t const *model, clingo_literal_t literal,
                                                    bool *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_is_consequence(clingo_model_t const *model, clingo_literal_t literal,
                                                           clingo_consequence_t *result);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_cost(clingo_model_t const *model, int64_t const **costs, size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_priority(clingo_model_t const *model, clingo_weight_t const **priorities,
                                                     size_t *size);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_optimality_proven(clingo_model_t const *model, bool *proven);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_thread_id(clingo_model_t const *model, clingo_id_t *id);
CLINGO_VISIBILITY_DEFAULT bool clingo_model_extend(clingo_model_t *model, clingo_symbol_t const *symbols, size_t size);
 
 
CLINGO_VISIBILITY_DEFAULT bool clingo_model_control(clingo_model_t *model, clingo_solve_control_t **control);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_control_base(clingo_solve_control_t const *control,
                                                         clingo_base_t const **base);
CLINGO_VISIBILITY_DEFAULT bool clingo_solve_control_add_clause(clingo_solve_control_t *control,
                                                               clingo_literal_t const *clause, size_t size);
 
 
#ifdef __cplusplus
}
#endif
 
#endif