Struct clingo_sys::clingo_application

#[repr(C)]
pub struct clingo_application {
    pub program_name: Option<unsafe extern "C" fn(data: *mut c_void) -> *const c_char>,
    pub version: Option<unsafe extern "C" fn(data: *mut c_void) -> *const c_char>,
    pub message_limit: Option<unsafe extern "C" fn(data: *mut c_void) -> c_uint>,
    pub main: clingo_main_function_t,
    pub logger: clingo_logger_t,
    pub printer: clingo_model_printer_t,
    pub register_options: Option<unsafe extern "C" fn(options: *mut clingo_options_t, data: *mut c_void) -> bool>,
    pub validate_options: Option<unsafe extern "C" fn(data: *mut c_void) -> bool>,
}

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

Fields

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

callback to obtain program name

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

callback to obtain version information

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

callback to obtain message limit

main: clingo_main_function_t

callback to override clingo's main function

logger: clingo_logger_t

callback to override default logger

printer: clingo_model_printer_t

callback to override default model printing

register_options: Option<unsafe extern "C" fn(options: *mut clingo_options_t, data: *mut c_void) -> bool>

callback to register options

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

callback validate options

Trait Implementations

impl Clone for clingo_application

fn clone(&self) -> clingo_application

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for clingo_application

impl Debug for clingo_application

fn fmt(&self, f: &mut Formatter) -> Result

Formats the value using the given formatter.