Type Alias clingo_sys::clingo_application_t

pub type clingo_application_t = clingo_application;

! This struct contains a set of functions to customize the clingo application.

Aliased Type

struct clingo_application_t {
    pub program_name: Option<unsafe extern "C" fn(_: *mut c_void) -> *const i8>,
    pub version: Option<unsafe extern "C" fn(_: *mut c_void) -> *const i8>,
    pub message_limit: Option<unsafe extern "C" fn(_: *mut c_void) -> u32>,
    pub main: Option<unsafe extern "C" fn(_: *mut clingo_control, _: *const *const i8, _: usize, _: *mut c_void) -> bool>,
    pub logger: Option<unsafe extern "C" fn(_: i32, _: *const i8, _: *mut c_void)>,
    pub printer: Option<unsafe extern "C" fn(_: *const clingo_model, _: Option<unsafe extern "C" fn(_: *mut c_void) -> bool>, _: *mut c_void, _: *mut c_void) -> bool>,
    pub register_options: Option<unsafe extern "C" fn(_: *mut clingo_options, _: *mut c_void) -> bool>,
    pub validate_options: Option<unsafe extern "C" fn(_: *mut c_void) -> bool>,
}

Fields

program_name: Option<unsafe extern "C" fn(_: *mut c_void) -> *const i8>

!< callback to obtain program name

version: Option<unsafe extern "C" fn(_: *mut c_void) -> *const i8>

!< callback to obtain version information

message_limit: Option<unsafe extern "C" fn(_: *mut c_void) -> u32>

!< callback to obtain message limit

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

!< callback to override clingo’s main function

logger: Option<unsafe extern "C" fn(_: i32, _: *const i8, _: *mut c_void)>

!< callback to override default logger

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

!< callback to override default model printing

register_options: Option<unsafe extern "C" fn(_: *mut clingo_options, _: *mut c_void) -> bool>

!< callback to register options

validate_options: Option<unsafe extern "C" fn(_: *mut c_void) -> bool>

!< callback validate options