Type Alias clingo_sys::clingo_symbol_callback_t

pub 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

Aliased Type

enum clingo_symbol_callback_t {
    None,
    Some(unsafe extern "C" fn(_: *const u64, _: usize, _: *mut c_void) -> bool),
}

Variants

None

No value.

Some(unsafe extern "C" fn(_: *const u64, _: usize, _: *mut c_void) -> bool)

Some value of type T.