Type Alias clingo_sys::clingo_main_function_t

pub type clingo_main_function_t = Option<unsafe extern "C" fn(control: *mut clingo_control_t, files: *const *const c_char, size: usize, data: *mut c_void) -> bool>;

! Callback to customize clingo main function. ! ! @param[in] control corresponding control object ! @param[in] files files passed via command line arguments ! @param[in] size number of files ! @param[in] data user data for the callback ! ! @return whether the call was successful

Aliased Type

enum clingo_main_function_t {
    None,
    Some(unsafe extern "C" fn(_: *mut clingo_control, _: *const *const i8, _: usize, _: *mut c_void) -> bool),
}

Variants

None

No value.

Some(unsafe extern "C" fn(_: *mut clingo_control, _: *const *const i8, _: usize, _: *mut c_void) -> bool)

Some value of type T.