# File Warshall.rb, line 86
        def ist_leer?
          @array.isEmpty?
        end