2018.4.32

2018.4.32

method HeapSort(a: array<int>)
      
      
        
          modifies a;
      
      
        
          requires a != null;
      
      
        
          requires a.Length > 0
      
      
        
          ensures multiset(a[..]) == multiset(old(a[..]));
      
      
        
          ensures sorted(a, 0, a.Length - 1);
      
      
        
        {
      
      
        
          Heapify(a);
      
      
        
          UnHeapify(a);
      
      
        
        }