# File warshall.rb, line 186 def speichern(dateiname) File.open(dateiname, "w") do |f| Marshal.dump(@basis,f) Marshal.dump(@vor,f) Marshal.dump(@nach,f) end end