parameters: (self, symbols: Sequence[Symbol])
docstring: Extend a model with the given symbols.
  
          Parameters
          ----------
          symbols
              The symbols to add to the model.
  
          Notes
          -----
          This only has an effect if there is an underlying clingo application,
          which will print the added symbols.
docstring_summary: Extend a model with the given symbols.
docstring_tokens: Extend a model with the given symbols .
function: def extend(self, symbols: Sequence[Symbol]) -> None:
          '''
          Extend a model with the given symbols.
  
          Parameters
          ----------
          symbols
              The symbols to add to the model.
  
          Notes
          -----
          This only has an effect if there is an underlying clingo application,
          which will print the added symbols.
          '''
          # pylint: disable=protected-access
          c_symbols = _ffi.new('clingo_symbol_t[]', len(symbols))
          for i, sym in enumerate(symbols):
              c_symbols[i] = sym._rep
          _handle_error(_lib.clingo_model_extend(self._rep, c_symbols, len(symbols)))
function_tokens: def extend ( self , symbols : Sequence [ Symbol ] ) -> None : # pylint: disable=protected-access c_symbols = _ffi . new ( 'clingo_symbol_t[]' , len ( symbols ) ) for i , sym in enumerate ( symbols ) : c_symbols [ i ] = sym . _rep _handle_error ( _lib . clingo_model_extend ( self . _rep , c_symbols , len ( symbols ) ) )