Searched refs:clingo_symbol_callback_t (Results 1 – 5 of 5) sorted by relevance
| /dports/math/clingo/clingo-5.5.1/libpyclingo/ |
| H A D | pyclingo.h | 43 …har const *name, clingo_symbol_t const *arguments, size_t size, clingo_symbol_callback_t symbol_ca…
|
| H A D | _clingo.cdef | 101 typedef bool (*clingo_symbol_callback_t) (clingo_symbol_t const *symbols, size_t symbols_size, void…
604 …o_symbol_t const *arguments, size_t arguments_size, void *data, clingo_symbol_callback_t symbol_ca…
651 …*name, clingo_symbol_t const *arguments, size_t arguments_size, clingo_symbol_callback_t symbol_ca…
661 …o_symbol_t const *arguments, size_t arguments_size, void *data, clingo_symbol_callback_t symbol_ca…
|
| /dports/math/clingo/clingo-5.5.1/libclingo/ |
| H A D | clingo.h | 670 typedef bool (*clingo_symbol_callback_t) (clingo_symbol_t const *symbols, size_t symbols_size, void… typedef
3350 …o_symbol_t const *arguments, size_t arguments_size, void *data, clingo_symbol_callback_t symbol_ca…
3829 …*name, clingo_symbol_t const *arguments, size_t arguments_size, clingo_symbol_callback_t symbol_ca…
|
| H A D | clingo.hh | 4075 …const *name, clingo_symbol_t const *args, size_t n, void *data, clingo_symbol_callback_t cb, void … in ground()
|
| /dports/math/clingo/clingo-5.5.1/libluaclingo/ |
| H A D | luaclingo.cc | 1142 clingo_symbol_callback_t symbol_callback;
1175 …*name, clingo_symbol_t const *arguments, size_t arguments_size, clingo_symbol_callback_t symbol_ca… in luacall()
3369 …o_symbol_t const *arguments, size_t arguments_size, void *data, clingo_symbol_callback_t symbol_ca… in on_context()
3914 …har const *name, clingo_symbol_t const *arguments, size_t size, clingo_symbol_callback_t symbol_ca… in call()
|