- indexing
- title: "Values that may be hashed into an integer index, for use as keys in hash tables.", "Note: In general, the default value of a type (e.g. 0 for integers, void for references) may not be hashed."
- project: "Eiffel Kernel Library"
- revision: "$Revision: 1.1 $"
- copyright: "Copyright (C) 1996-2005 Object Tools Group"
- license: "http://visual-eiffel.com/license"
- cluster: kernel
deferred class HASHABLE
- feature -- Access
-
hash_code: INTEGER
-
-
-- Hash code value
-
- ensure
-
good_hash_value:
Result >= 0
end -- class HASHABLE