+
Point of view
HASHED_BIJECTIVE_DICTIONARY
class HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE]
Summary
Class invariant
Overview
creation features
exported features
val: V_
writable attribute
key: K_
writable attribute
next_key: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE]
writable attribute
The forward link to the next key in case of hash-code clash.
next_val: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE]
writable attribute
The forward link to the next val in case of hash-code clash.
make (v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE])
effective procedure
set_val (v: V_)
effective procedure
set_next_val (nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE])
effective procedure
set_key (k: K_)
effective procedure
set_next_key (nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ -> HASHABLE, K_ -> HASHABLE])
effective procedure
set_val_and_key (v: V_, k: K_)
effective procedure