[−][src]Function clingo_sys::clingo_propagate_control_has_watch
pub unsafe extern "C" fn clingo_propagate_control_has_watch(
control: *const clingo_propagate_control_t,
literal: clingo_literal_t
) -> bool
! Check whether a literal is watched in the current solver thread. ! ! @param[in] control the target ! @param[in] literal the literal to check ! ! @return whether the literal is watched