Function clingo_sys::clingo_control_register_observer
[−]
[src]
pub unsafe extern "C" fn clingo_control_register_observer(
control: *mut clingo_control_t,
observer: *const clingo_ground_program_observer_t,
replace: bool,
data: *mut c_void
) -> bool
Register a program observer with the control object.
Parameters:
control
the targetobserver
the observer to registerreplace
just pass the grounding to the observer but not the solverdata
user data passed to the observer functions
Returns whether the call was successful