Function clingo_sys::clingo_propagate_init_propagate

pub unsafe extern "C" fn clingo_propagate_init_propagate(
    init: *mut clingo_propagate_init_t,
    result: *mut bool
) -> bool

! Propagates consequences of the underlying problem excluding registered propagators. ! ! @note The function has no effect if SAT-preprocessing is enabled. ! @attention No further calls on the init object or functions on the assignment should be called when the result of this method is false. ! ! @param[in] init the target ! @param[out] result result indicating whether the problem became unsatisfiable ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc