# File Warshall1.rb, line 244
        def warshall
                temp=copy
                temp.basis.length().times do
                temp.each{|i| temp.nachfolger(i).each{|j| temp.nach[i]+=temp.nachfolger(j)}}
                temp.each{|i| temp.nachfolger(i).each{|j| temp.vor[j]+=Menge.new([i])}}
                end
                return temp
        end