+
Point of view
All features
class HASHED_SET_NODE [E_ -> HASHABLE]
Summary
Overview
creation features
features
item: E_
writable attribute
next: HASHED_SET_NODE [E_ -> HASHABLE]
writable attribute
The next one when some clash occurs.
set_next (n: HASHED_SET_NODE [E_ -> HASHABLE])
effective procedure
make (i: E_, n: HASHED_SET_NODE [E_ -> HASHABLE])
effective procedure