[−][src]Type Definition clingo_sys::clingo_model_printer_t
type clingo_model_printer_t = Option<unsafe extern "C" fn(model: *const clingo_model_t, printer: clingo_default_model_printer_t, printer_data: *mut c_void, data: *mut c_void) -> bool>;
Callback to customize model printing.
@param[in] model the model @param[in] printer the default model printer @param[in] printer_data user data for the printer @param[in] data user data for the callback
@return whether the call was successful