Function clingo_sys::clingo_propagate_init_add_clause

pub unsafe extern "C" fn clingo_propagate_init_add_clause(
    init: *mut clingo_propagate_init_t, 
    clause: *const clingo_literal_t, 
    size: usize, 
    result: *mut bool
) -> bool

! Add the given clause to the solver. ! ! This method sets its result to false if the clause is causing a conflict. ! ! @param[in] init the target ! @param[in] clause the clause to add ! @param[in] size the size of the clause ! @param[out] result result indicating whether the clause is conflicting ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc