Function clingo_sys::clingo_propagate_control_has_watch [−] [src]

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.

Parameters:

  • control - the target
  • literal - the literal to check

Returns whether the literal is watched