shared.h

#ifndef CLINGO_SHARED_H
#define CLINGO_SHARED_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
 
enum clingo_heuristic_type_e {
    clingo_heuristic_type_level = 0,  
    clingo_heuristic_type_sign = 1,   
    clingo_heuristic_type_factor = 2, 
    clingo_heuristic_type_init = 3,   
    clingo_heuristic_type_true = 4,   
    clingo_heuristic_type_false = 5   
};
typedef int clingo_heuristic_type_t;
 
enum clingo_external_type_e {
    clingo_external_type_free = 0,    
    clingo_external_type_true = 1,    
    clingo_external_type_false = 2,   
    clingo_external_type_release = 3, 
};
typedef int clingo_external_type_t;
 
 
#ifdef __cplusplus
}
#endif
 
#endif