Function clingo_sys::clingo_propagate_control_add_literal

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

! Adds a new volatile literal to the underlying solver thread. ! ! @attention The literal is only valid within the current solving step and solver thread. ! All volatile literals and clauses involving a volatile literal are deleted after the current search. ! ! @param[in] control the target ! @param[out] result the (positive) solver literal ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc ! - ::clingo_error_logic if the assignment is conflicting