Function clingo_sys::clingo_control_register_propagator

pub unsafe extern "C" fn clingo_control_register_propagator(
    control: *mut clingo_control_t, 
    propagator: *const clingo_propagator_t, 
    data: *mut c_void, 
    sequential: bool
) -> bool

! Register a custom propagator with the control object. ! ! If the sequential flag is set to true, the propagator is called ! sequentially when solving with multiple threads. ! ! See the @ref Propagator module for more information. ! ! @param[in] control the target ! @param[in] propagator the propagator ! @param[in] data user data passed to the propagator functions ! @param[in] sequential whether the propagator should be called sequentially ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc