+
Point of view
HASHED_DICTIONARY
class HASHED_DICTIONARY_NODE [V_, K_ -> HASHABLE]
Summary
Overview
creation features
  • make (i: V_, k: K_, n: HASHED_DICTIONARY_NODE [V_, K_ -> HASHABLE])
exported features
item: V_
writable attribute
key: K_
writable attribute
next: HASHED_DICTIONARY_NODE [V_, K_ -> HASHABLE]
writable attribute
The next one when some clash occurs.
set_item (i: V_)
effective procedure
set_next (n: HASHED_DICTIONARY_NODE [V_, K_ -> HASHABLE])
effective procedure
make (i: V_, k: K_, n: HASHED_DICTIONARY_NODE [V_, K_ -> HASHABLE])
effective procedure