Function clingo::new_clingo_control
[−]
[src]
pub fn new_clingo_control<'a>(
arguments: Args,
logger: clingo_logger_t,
logger_data: *mut c_void,
message_limit: c_uint
) -> Option<&'a mut ClingoControl>