Function clingo_sys::clingo_propagate_control_remove_watch

pub unsafe extern "C" fn clingo_propagate_control_remove_watch(
    control: *mut clingo_propagate_control_t, 
    literal: clingo_literal_t
)

! Removes the watch (if any) for the given solver literal. ! ! @note Similar to @ref clingo_propagate_init_add_watch() this just removes the watch in the current solver thread. ! ! @param[in] control the target ! @param[in] literal the literal to remove