Searched refs:clingo_control_set_enable_cleanup (Results 1 – 8 of 8) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
H A D | control.py | 605 _handle_error(_lib.clingo_control_set_enable_cleanup(self._rep, value))
|
/dports/math/clingo/clingo-5.5.1/libclingo/ |
H A D | clingo.h | 3603 CLINGO_VISIBILITY_DEFAULT bool clingo_control_set_enable_cleanup(clingo_control_t *control, bool en…
|
H A D | clingo.hh | 4463 Detail::handle_error(clingo_control_set_enable_cleanup(*impl_, value)); in enable_cleanup()
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 623 bool clingo_control_set_enable_cleanup(clingo_control_t *control, bool enable);
|
H A D | _clingo.c | 10426 return clingo_control_set_enable_cleanup(x0, x1); in _cffi_d_clingo_control_set_enable_cleanup() 10459 { result = clingo_control_set_enable_cleanup(x0, x1); } in _cffi_f_clingo_control_set_enable_cleanup()
|
/dports/math/clingo/clingo-5.5.1/libclingo/src/ |
H A D | control.cc | 1961 extern "C" bool clingo_control_set_enable_cleanup(clingo_control_t *ctl, bool value) { in clingo_control_set_enable_cleanup() function
|
/dports/math/clingo/clingo-5.5.1/libluaclingo/ |
H A D | luaclingo.cc | 3541 handle_c_error(L, clingo_control_set_enable_cleanup(self.ctl, enabled)); in newindex()
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 9714 return clingo_control_set_enable_cleanup(x0, x1); in _cffi_d_clingo_control_set_enable_cleanup() 9747 { result = clingo_control_set_enable_cleanup(x0, x1); } in _cffi_f_clingo_control_set_enable_cleanup()
|