Type Alias clingo_model_printer_t 

pub 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

Aliased Type

pub enum clingo_model_printer_t {
    None,
    Some(unsafe extern "C" fn(*const clingo_model, Option<unsafe extern "C" fn(*mut c_void) -> bool>, *mut c_void, *mut c_void) -> bool),
}

Variants

None

No value.

Some(unsafe extern "C" fn(*const clingo_model, Option<unsafe extern "C" fn(*mut c_void) -> bool>, *mut c_void, *mut c_void) -> bool)

Some value of type T.