# File Warshall.rb, line 226 def laden(dateiname) File.open(dateiname, "r") do |f| @basis=Marshal.load(f) @vor=Marshal.load(f) @nach=Marshal.load(f) end end