Function clingo_sys::clingo_control_register_propagator
[−]
[src]
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 targetpropagator
the propagatordata
user data passed to the propagator functionssequential
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