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.

Parameters:

• control - the target
• propagator - the propagator
• data - user data passed to the propagator functions
• sequential - whether the propagator should be called sequentially

Returns whether the call was successful; might set one of the following error codes:

• ::clingo_error_bad_alloc