5.4 Class HASHABLE PreviousNext

indexing
description: "Values that may be hashed into an integer index, %
    for use as keys in hash tables."
deferred class interface
HASHABLE
feature -- Access
hash_code: INTEGER
        -- Hash code value
    deferred
    ensure
        good_hash_value: Result >= 0
end

Copyright © 1995, Nonprofit International Consortium for Eiffel
mailto:
nice@atlanta.twr.com
Last Updated: 26 October 1997

HomeTocPreviousNext