# File warshall.rb, line 76
        def copy()
                temp=Menge.new([])
                each{|i| temp.add(i)}
                return temp
        end