Function clingo_sys::clingo_control_interrupt
[−]
[src]
pub unsafe extern "C" fn clingo_control_interrupt(
control: *mut clingo_control_t
)
Interrupt the active solve call (or the following solve call right at the beginning).
Parameters:
control
- the target