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

type clingo_logger_t = Option<unsafe extern "C" fn(i32, *const i8, *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()