Type Definition clingo_sys::clingo_logger_t [−] [src]

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.

Parameters:

  • code - associated warning code
  • message - warning message
  • data - user data for callback

@see clingo_control_new() @see clingo_parse_term() @see clingo_parse_program()