Type Alias clingo_sys::clingo_main_function_t
source · 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>;
Expand description
! 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),
}