Function clingo_sys::clingo_propagate_init_remove_watch_from_thread

pub unsafe extern "C" fn clingo_propagate_init_remove_watch_from_thread(
    init: *mut clingo_propagate_init_t,
    solver_literal: clingo_literal_t,
    thread_id: u32
) -> bool

! Remove the watch for the solver literal in the given phase from the given solver thread. ! ! @param[in] init the target ! @param[in] solver_literal the solver literal ! @param[in] thread_id the id of the solver thread ! @return whether the call was successful