Table of Contents Previous Chapter

5.4 Class HASHABLE

indexing

description: "Values that may be hashed into an integer index, for use as keys in hash tables."

deferred class interface

feature -- Access

hash_code: INTEGER

-- Hash code value

deferred

ensure

good_hash_value: Result >= 0

end