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