Type Definition clingo_sys::clingo_symbol_callback_t
[−]
[src]
type clingo_symbol_callback_t = Option<unsafe extern "C" fn(_: *const clingo_symbol_t, _: usize, _: *mut c_void) -> bool>;
Callback function to inject symbols.
Parameters:
symbols
- array of symbolssymbols_size
- size of the symbol arraydata
- user data of the callback
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc @see ::clingo_ground_callback_t