/[eiffelstudio]/FreeELKS/trunk/library/structures/dispenser/heap_priority_queue.e
ViewVC logotype

Diff of /FreeELKS/trunk/library/structures/dispenser/heap_priority_queue.e

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 91476 by manus_eiffel, Tue Oct 26 18:39:32 2004 UTC revision 91477 by ericb, Sun Jan 14 09:47:13 2007 UTC
# Line 1  Line 1 
1  indexing  indexing
2          description: "Priority queues implemented as heaps"          description: "Priority queues implemented as heaps"
3          status: "See notice at end of class"          legal: "See notice at end of class."
4            status: "See notice at end of class."
5          names: sorted_priority_queue, dispenser, heap;          names: sorted_priority_queue, dispenser, heap;
6          representation: heap;          representation: heap;
7          access: fixed, membership;          access: fixed, membership;
# Line 333  invariant Line 334  invariant
334          empty_means_storage_empty: is_empty implies all_default          empty_means_storage_empty: is_empty implies all_default
335    
336  indexing  indexing
337            library:        "EiffelBase: Library of reusable components for Eiffel."
338            copyright:      "Copyright (c) 1984-2006, Eiffel Software and others"
339            license:        "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
340            source: "[
341                             Eiffel Software
342                             356 Storke Road, Goleta, CA 93117 USA
343                             Telephone 805-685-1006, Fax 805-685-6869
344                             Website http://www.eiffel.com
345                             Customer support http://support.eiffel.com
346                    ]"
347    
348    
349    
350    
351    
         library: "[  
                         EiffelBase: Library of reusable components for Eiffel.  
                         ]"  
   
         status: "[  
                         Copyright 1986-2001 Interactive Software Engineering (ISE).  
                         For ISE customers the original versions are an ISE product  
                         covered by the ISE Eiffel license and support agreements.  
                         ]"  
   
         license: "[  
                         EiffelBase may now be used by anyone as FREE SOFTWARE to  
                         develop any product, public-domain or commercial, without  
                         payment to ISE, under the terms of the ISE Free Eiffel Library  
                         License (IFELL) at http://eiffel.com/products/base/license.html.  
                         ]"  
352    
         source: "[  
                         Interactive Software Engineering Inc.  
                         ISE Building  
                         360 Storke Road, Goleta, CA 93117 USA  
                         Telephone 805-685-1006, Fax 805-685-6869  
                         Electronic mail <info@eiffel.com>  
                         Customer support http://support.eiffel.com  
                         ]"  
   
         info: "[  
                         For latest info see award-winning pages: http://eiffel.com  
                         ]"  
353    
354  end -- class HEAP_PRIORITY_QUEUE  end -- class HEAP_PRIORITY_QUEUE

Legend:
Removed from v.91476  
changed lines
  Added in v.91477

  ViewVC Help
Powered by ViewVC 1.1.23