# File Warshall.rb, line 221 def nachfolger(x) if @nach[x]!=nil then return @nach[x] else return Menge.new([]) end end