Function clingo_sys::clingo_propagate_control_has_watch
[−]
[src]
pub unsafe extern "C" fn clingo_propagate_control_has_watch(
control: *mut clingo_propagate_control_t,
literal: clingo_literal_t
) -> bool
Check whether a literal is watched in the current solver thread.
Parameters:
control
the targetliteral
the literal to check
Returns whether the literal is watched