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