Type Alias clingo_sys::clingo_logger_t

pub type clingo_logger_t = Option<unsafe extern "C" fn(code: clingo_warning_t, message: *const c_char, data: *mut c_void)>;

! Callback to intercept warning messages. ! ! @param[in] code associated warning code ! @param[in] message warning message ! @param[in] data user data for callback ! ! @see clingo_control_new() ! @see clingo_parse_term() ! @see clingo_parse_program()

Aliased Type

enum clingo_logger_t {
    None,
    Some(unsafe extern "C" fn(_: i32, _: *const i8, _: *mut c_void)),
}

Variants

None

No value.

Some(unsafe extern "C" fn(_: i32, _: *const i8, _: *mut c_void))

Some value of type T.