Searched refs:pyclingo_observer_rule (Results 1 – 4 of 4) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/libpyclingo/clingo/ |
| H A D | control.py | 387 _lib.pyclingo_observer_rule if _overwritten(Observer, observer, "rule") else _ffi.NULL,
|
| /dports/math/clingo/clingo-5.5.1/libpyclingo/ |
| H A D | _clingo.cdef | 670 extern "Python" bool pyclingo_observer_rule(bool choice, clingo_atom_t const *head, size_t head_siz…
|
| H A D | _clingo.c | 4459 static _Bool pyclingo_observer_rule(_Bool a0, uint32_t const * a1, size_t a2, int32_t const * a3, s… in pyclingo_observer_rule() function
18494 …__pyclingo_observer_rule, _CFFI_OP(_CFFI_OP_EXTERN_PYTHON, 1155), (void *)pyclingo_observer_rule },
|
| /dports/math/clingo/clingo-5.5.1/app/pyclingo/ |
| H A D | _clingo.c | 3747 static _Bool pyclingo_observer_rule(_Bool a0, uint32_t const * a1, size_t a2, int32_t const * a3, s… in pyclingo_observer_rule() function
17782 …__pyclingo_observer_rule, _CFFI_OP(_CFFI_OP_EXTERN_PYTHON, 1155), (void *)pyclingo_observer_rule },
|