parameters: (self, literal: int)
return_statement: return _lib.clingo_propagate_control_has_watch(self._rep, literal)
docstring: Check whether a literal is watched in the current solver thread.
  
          Parameters
          ----------
          literal
              The target solver literal.
  
          Returns
          -------
          Whether the literal is watched.
docstring_summary: Check whether a literal is watched in the current solver thread.
docstring_tokens: Check whether a literal is watched in the current solver thread .
function: def has_watch(self, literal: int) -> bool:
          '''
          Check whether a literal is watched in the current solver thread.
  
          Parameters
          ----------
          literal
              The target solver literal.
  
          Returns
          -------
          Whether the literal is watched.
          '''
          return _lib.clingo_propagate_control_has_watch(self._rep, literal)
function_tokens: def has_watch ( self , literal : int ) -> bool : return _lib . clingo_propagate_control_has_watch ( self . _rep , literal )