parameters: (self)
return_statement: return (_lib.clingo_solve_result_exhausted & self._rep) != 0
docstring: Determine if the search space was exhausted.
docstring_summary: Determine if the search space was exhausted.
docstring_tokens: Determine if the search space was exhausted .
function: def exhausted(self) -> bool:
          '''
          Determine if the search space was exhausted.
          '''
          return (_lib.clingo_solve_result_exhausted & self._rep) != 0
function_tokens: def exhausted ( self ) -> bool : return ( _lib . clingo_solve_result_exhausted & self . _rep ) != 0