# File Warshall.rb, line 256
        def nachfolger(x)
                @nach[x]!=nil ? @nach[x] : Menge.new([])
        end