clingo_propagate_control_t (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:clingo_propagate_control_t (Results 1 – 8 of 8) sorted by relevance

/dports/math/clingo/clingo-5.5.1/libclingo/
H A D	clingo.h	1265 typedef struct clingo_propagate_control clingo_propagate_control_t; typedef 1276 CLINGO_VISIBILITY_DEFAULT clingo_id_t clingo_propagate_control_thread_id(clingo_propagate_control_t… 1292 CLINGO_VISIBILITY_DEFAULT bool clingo_propagate_control_add_literal(clingo_propagate_control_t con… 1303 CLINGO_VISIBILITY_DEFAULT bool clingo_propagate_control_add_watch(clingo_propagate_control_t contr… 1342 CLINGO_VISIBILITY_DEFAULT bool clingo_propagate_control_propagate(clingo_propagate_control_t contr… 1350 typedef bool (clingo_propagator_propagate_callback_t) (clingo_propagate_control_t , clingo_litera… 1353 typedef void (clingo_propagator_undo_callback_t) (clingo_propagate_control_t const , clingo_liter… 1356 typedef bool (clingo_propagator_check_callback_t) (clingo_propagate_control_t , void ); 1413 …bool (propagate) (clingo_propagate_control_t control, clingo_literal_t const changes, size_t si… 1426 …void (undo) (clingo_propagate_control_t const control, clingo_literal_t const changes, size_t s… [all …]
H A D	clingo.hh	1068 explicit PropagateControl(clingo_propagate_control_t ctl) in PropagateControl() 1078 clingo_propagate_control_t to_c() const { return ctl_; } in to_c() 1080 clingo_propagate_control_t ctl_; 4210 inline static bool g_propagate(clingo_propagate_control_t ctl, clingo_literal_t const changes, si… in g_propagate() 4219 inline static void g_undo(clingo_propagate_control_t const ctl, clingo_literal_t const changes, s… in g_undo() 4221 PropagateControl pc(const_cast<clingo_propagate_control_t>(ctl)); // NOLINT in g_undo() 4225 inline static bool g_check(clingo_propagate_control_t ctl, void pdata) { in g_check()
/dports/math/clingo/clingo-5.5.1/libpyclingo/
H A D	_clingo.cdef	187 typedef struct clingo_propagate_control clingo_propagate_control_t; 188 clingo_id_t clingo_propagate_control_thread_id(clingo_propagate_control_t const control); 189 clingo_assignment_t const clingo_propagate_control_assignment(clingo_propagate_control_t const co… 190 bool clingo_propagate_control_add_literal(clingo_propagate_control_t control, clingo_literal_t re… 191 bool clingo_propagate_control_add_watch(clingo_propagate_control_t control, clingo_literal_t liter… 192 bool clingo_propagate_control_has_watch(clingo_propagate_control_t const control, clingo_literal_t… 193 void clingo_propagate_control_remove_watch(clingo_propagate_control_t control, clingo_literal_t li… 195 bool clingo_propagate_control_propagate(clingo_propagate_control_t control, bool result); 199 typedef bool (clingo_propagator_check_callback_t) (clingo_propagate_control_t , void ); 204 bool (check) (clingo_propagate_control_t control, void data); [all …]
H A D	_clingo.c	4593 (clingo_propagate_control_t )(p + 0) = a0; in pyclingo_propagator_check() 4635 (clingo_propagate_control_t * )(p + 0) = a0; in pyclingo_propagator_propagate() 4650 (clingo_propagate_control_t const * )(p + 0) = a0; in pyclingo_propagator_undo() 12010 clingo_propagate_control_t x0; in _cffi_f_clingo_propagate_control_add_clause() 12086 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_add_literal() 12139 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_add_watch() 12187 clingo_propagate_control_t const * x0; in _cffi_f_clingo_propagate_control_assignment() 12225 clingo_propagate_control_t const * x0; in _cffi_f_clingo_propagate_control_has_watch() 12273 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_propagate() 12326 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_remove_watch() [all …]
/dports/math/clingo/clingo-5.5.1/examples/c/
H A D	propagator.c	`146 bool propagate(clingo_propagate_control_t control, const clingo_literal_t changes, size_t size, p… in propagate() 183 void undo(clingo_propagate_control_t control, const clingo_literal_t changes, size_t size, propag… in undo()`
/dports/math/clingo/clingo-5.5.1/libclingo/src/
H A D	control.cc	732 extern "C" clingo_id_t clingo_propagate_control_thread_id(clingo_propagate_control_t const ctl) { in clingo_propagate_control_thread_id() 736 …clingo_assignment_t const clingo_propagate_control_assignment(clingo_propagate_control_t const c… in clingo_propagate_control_assignment() 740 extern "C" bool clingo_propagate_control_add_clause(clingo_propagate_control_t ctl, clingo_literal… in clingo_propagate_control_add_clause() 745 extern "C" bool clingo_propagate_control_propagate(clingo_propagate_control_t ctl, bool ret) { in clingo_propagate_control_propagate() 750 extern "C" bool clingo_propagate_control_add_literal(clingo_propagate_control_t control, clingo_li… in clingo_propagate_control_add_literal() 755 extern "C" bool clingo_propagate_control_add_watch(clingo_propagate_control_t control, clingo_lite… in clingo_propagate_control_add_watch() 760 extern "C" bool clingo_propagate_control_has_watch(clingo_propagate_control_t const control, cling… in clingo_propagate_control_has_watch() 764 extern "C" void clingo_propagate_control_remove_watch(clingo_propagate_control_t control, clingo_l… in clingo_propagate_control_remove_watch() 1890 …if (prop_.propagate && !prop_.propagate(static_cast<clingo_propagate_control_t>(&solver), changes… in propagate() 1894 …if (prop_.undo) { prop_.undo(static_cast<clingo_propagate_control_t const >(&solver), undo.first,… in undo() [all …]
/dports/math/clingo/clingo-5.5.1/libluaclingo/
H A D	luaclingo.cc	2694 clingo_propagate_control_t* ctl; 2695 PropagateControl(clingo_propagate_control_t* ctl) : ctl(ctl) { } in PropagateControl() 2867 auto control = static_cast<clingo_propagate_control_t >(lua_touserdata(L, 2)); in propagate_() 2885 …static bool propagate(clingo_propagate_control_t control, clingo_literal_t const changes, size_t… in propagate() 2904 auto control = static_cast<clingo_propagate_control_t>(lua_touserdata(L, 2)); in undo_() 2924 …static void undo(clingo_propagate_control_t const control, clingo_literal_t const changes, size_… in undo() 2935 lua_pushlightuserdata(L, const_cast<clingo_propagate_control_t>(control)); in undo() 2947 auto solver = static_cast<clingo_propagate_control_t>(lua_touserdata(L, 2)); in check_() 2962 static bool check(clingo_propagate_control_t control, void *data) { in check()
/dports/math/clingo/clingo-5.5.1/app/pyclingo/
H A D	_clingo.c	3881 (clingo_propagate_control_t )(p + 0) = a0; in pyclingo_propagator_check() 3923 (clingo_propagate_control_t * )(p + 0) = a0; in pyclingo_propagator_propagate() 3938 (clingo_propagate_control_t const * )(p + 0) = a0; in pyclingo_propagator_undo() 11298 clingo_propagate_control_t x0; in _cffi_f_clingo_propagate_control_add_clause() 11374 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_add_literal() 11427 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_add_watch() 11475 clingo_propagate_control_t const * x0; in _cffi_f_clingo_propagate_control_assignment() 11513 clingo_propagate_control_t const * x0; in _cffi_f_clingo_propagate_control_has_watch() 11561 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_propagate() 11614 clingo_propagate_control_t * x0; in _cffi_f_clingo_propagate_control_remove_watch() [all …]