import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_backend_acyc_edge") 
protected native boolean clingo_backend_acyc_edge(@Ptr long backend, int node_u, int node_v, @Ptr long condition, @Ptr long size);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_error_message") 
@Ptr 
protected native long clingo_error_message$2();
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_set_error") 
protected native void clingo_set_error(int code, @Ptr long message);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_propagate_control_propagate") 
protected native boolean clingo_propagate_control_propagate(@Ptr long control, @Ptr long result);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_solve_handle_wait") 
protected native void clingo_solve_handle_wait(@Ptr long handle, double timeout, @Ptr long result);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_version") 
protected native void clingo_version(@Ptr long major, @Ptr long minor, @Ptr long revision);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_theory_atoms_atom_has_guard") 
protected native boolean clingo_theory_atoms_atom_has_guard(@Ptr long atoms, int atom, @Ptr long has_guard);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_solve_handle_cancel") 
protected native boolean clingo_solve_handle_cancel(@Ptr long handle);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_control_add") 
protected native boolean clingo_control_add(@Ptr long control, @Ptr long name, @Ptr long parameters, @Ptr long parameters_size, @Ptr long program);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_control_program_builder") 
protected native boolean clingo_control_program_builder(@Ptr long control, @Ptr long builder);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_control_register_observer") 
protected native boolean clingo_control_register_observer(@Ptr long control, @Ptr long observer, boolean replace, @Ptr long data);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_symbol_create_string") 
protected native boolean clingo_symbol_create_string(@Ptr long string, @Ptr long symbol);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_model_number") 
protected native boolean clingo_model_number(@Ptr long model, @Ptr long number);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_assignment_truth_value") 
protected native boolean clingo_assignment_truth_value(@Ptr long assignment, int literal, @Ptr long value);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_propagate_init_theory_atoms") 
protected native boolean clingo_propagate_init_theory_atoms(@Ptr long init, @Ptr long atoms);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_symbol_number") 
protected native boolean clingo_symbol_number(long symbol, @Ptr long number);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_model_symbols") 
protected native boolean clingo_model_symbols(@Ptr long model, int show, @Ptr long symbols, @Ptr long size);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_control_cleanup") 
protected native boolean clingo_control_cleanup(@Ptr long control);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_statistics_value_get") 
protected native boolean clingo_statistics_value_get(@Ptr long statistics, long key, @Ptr long value);
 

import org.bridj.ann.Name; //导入依赖的package包/类
@Name("clingo_solve_handle_resume") 
protected native boolean clingo_solve_handle_resume(@Ptr long handle);