parameters: (self, literal: int)
docstring: Freeze the given solver literal.
  
          Any solver literal that is not frozen is subject to simplification and
          might be removed in a preprocessing step after propagator
          initialization. A propagator should freeze all literals over which it
          might add clauses during propagation. Note that any watched literal is
          automatically frozen and that it does not matter which phase of the
          literal is frozen.
  
          Parameters
          ----------
          literal
              The solver literal to freeze.
docstring_summary: Freeze the given solver literal.
docstring_tokens: Freeze the given solver literal .
function: def freeze_literal(self, literal: int) -> None:
          '''
          Freeze the given solver literal.
  
          Any solver literal that is not frozen is subject to simplification and
          might be removed in a preprocessing step after propagator
          initialization. A propagator should freeze all literals over which it
          might add clauses during propagation. Note that any watched literal is
          automatically frozen and that it does not matter which phase of the
          literal is frozen.
  
          Parameters
          ----------
          literal
              The solver literal to freeze.
          '''
          _handle_error(_lib.clingo_propagate_init_freeze_literal(self._rep, literal))
function_tokens: def freeze_literal ( self , literal : int ) -> None : _handle_error ( _lib . clingo_propagate_init_freeze_literal ( self . _rep , literal ) )