Function clingo_sys::clingo_propagate_control_propagate [−] [src]

pub unsafe extern "C" fn clingo_propagate_control_propagate(
    control: *mut clingo_propagate_control_t, 
    result: *mut bool
) -> bool

Propagate implied literals (resulting from added clauses).

This method sets its result to false if the current propagation must be stopped for the solver to backtrack.

@attention No further calls on the control object or functions on the assignment should be called when the result of this method is false.

Parameters:

  • control the target
  • result result indicating whether propagation has to be stopped

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