parameters: (self, atoms: bool=False, terms: bool=False, shown: bool=False, csp: bool=False,
                  theory: bool=False, complement: bool=False)
return_statement: return _SymbolSequence(p_symbols)
docstring: Return the list of atoms, terms, or CSP assignments in the model.
  
          Parameters
          ----------
          atoms
              Select all atoms in the model (independent of `#show` statements).
          terms
              Select all terms displayed with `#show` statements in the model.
          shown
              Select all atoms and terms as outputted by clingo.
          csp
              Select all csp assignments (independent of `#show` statements).
          theory
              Select atoms added with `Model.extend`.
          complement
              Return the complement of the answer set w.r.t. to the atoms known
              to the grounder. (Does not affect csp assignments.)
  
          Returns
          -------
          The selected symbols.
  
          Notes
          -----
          Atoms are represented using functions (`Symbol` objects), and CSP
          assignments are represented using functions with name `"$"` where the
          first argument is the name of the CSP variable and the second its
          value.
docstring_summary: Return the list of atoms, terms, or CSP assignments in the model.
docstring_tokens: Return the list of atoms terms or CSP assignments in the model .
function: def symbols(self, atoms: bool=False, terms: bool=False, shown: bool=False, csp: bool=False,
                  theory: bool=False, complement: bool=False) -> Sequence[Symbol]:
          '''
          Return the list of atoms, terms, or CSP assignments in the model.
  
          Parameters
          ----------
          atoms
              Select all atoms in the model (independent of `#show` statements).
          terms
              Select all terms displayed with `#show` statements in the model.
          shown
              Select all atoms and terms as outputted by clingo.
          csp
              Select all csp assignments (independent of `#show` statements).
          theory
              Select atoms added with `Model.extend`.
          complement
              Return the complement of the answer set w.r.t. to the atoms known
              to the grounder. (Does not affect csp assignments.)
  
          Returns
          -------
          The selected symbols.
  
          Notes
          -----
          Atoms are represented using functions (`Symbol` objects), and CSP
          assignments are represented using functions with name `"$"` where the
          first argument is the name of the CSP variable and the second its
          value.
          '''
          show = 0
          if atoms:
              show |= _lib.clingo_show_type_atoms
          if terms:
              show |= _lib.clingo_show_type_terms
          if shown:
              show |= _lib.clingo_show_type_shown
          if csp:
              show |= _lib.clingo_show_type_csp
          if theory:
              show |= _lib.clingo_show_type_theory
          if complement:
              show |= _lib.clingo_show_type_complement
  
          size = _c_call('size_t', _lib.clingo_model_symbols_size, self._rep, show)
  
          p_symbols = _ffi.new('clingo_symbol_t[]', size)
          _handle_error(_lib.clingo_model_symbols(self._rep, show, p_symbols, size))
  
          return _SymbolSequence(p_symbols)
function_tokens: def symbols ( self , atoms : bool = False , terms : bool = False , shown : bool = False , csp : bool = False , theory : bool = False , complement : bool = False ) -> Sequence [ Symbol ] : show = 0 if atoms : show |= _lib . clingo_show_type_atoms if terms : show |= _lib . clingo_show_type_terms if shown : show |= _lib . clingo_show_type_shown if csp : show |= _lib . clingo_show_type_csp if theory : show |= _lib . clingo_show_type_theory if complement : show |= _lib . clingo_show_type_complement size = _c_call ( 'size_t' , _lib . clingo_model_symbols_size , self . _rep , show ) p_symbols = _ffi . new ( 'clingo_symbol_t[]' , size ) _handle_error ( _lib . clingo_model_symbols ( self . _rep , show , p_symbols , size ) ) return _SymbolSequence ( p_symbols )