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