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 target
  • observer the observer to register
  • replace just pass the grounding to the observer but not the solver
  • data user data passed to the observer functions

Returns whether the call was successful