Searched refs:pyclingo_observer_external (Results 1 – 4 of 4) sorted by relevance
/dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
H A D | control.py | 394 … _lib.pyclingo_observer_external if _overwritten(Observer, observer, "external") else _ffi.NULL,
|
/dports/math/clingo/clingo-5.5.1/libpyclingo/ |
H A D | _clingo.cdef | 677 extern "Python" bool pyclingo_observer_external(clingo_atom_t atom, clingo_external_type_t type, vo…
|
H A D | _clingo.c | 4340 static _Bool pyclingo_observer_external(uint32_t a0, int a1, void * a2) in pyclingo_observer_external() function 18486 …go_observer_external, _CFFI_OP(_CFFI_OP_EXTERN_PYTHON, 1180), (void *)pyclingo_observer_external },
|
/dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
H A D | _clingo.c | 3628 static _Bool pyclingo_observer_external(uint32_t a0, int a1, void * a2) in pyclingo_observer_external() function 17774 …go_observer_external, _CFFI_OP(_CFFI_OP_EXTERN_PYTHON, 1180), (void *)pyclingo_observer_external },
|