[][src]Type Definition clingo_sys::clingo_main_function_t

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