/[eiffelstudio]
ViewVC logotype

Revision 91894


Jump to revision: Previous Next
Author: manus_eiffel
Date: Mon Jun 28 17:16:55 2010 UTC (9 years, 4 months ago)
Changed paths: 1
Log Message:
Simplified postcondition of `safe_less_than' to better reflect the contract of `<' as specified in COMPARABLE. It also let you redefine `safe_less_than' to mean something else than `<' in a descendant.


Changed paths

Path Details
DirectoryFreeELKS/tags/EiffelSoftware/Eiffel_66/library/structures/dispenser/heap_priority_queue.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23