+
Point of view
All features
class HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_]
Summary
Auxiliary class to implement HASHED_BIJECTIVE_DICTIONARY.
Direct parents
Inherit list: ANY_HASHED_BIJECTIVE_DICTIONARY_NODE
Class invariant
Overview
Creation features
{HASHED_BIJECTIVE_DICTIONARY}
  • make (v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
Features
{HASHED_BIJECTIVE_DICTIONARY}
  • val: V_
  • key: K_
  • next_key: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_]
    The forward link to the next key in case of hash-code clash.
  • next_val: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_]
    The forward link to the next val in case of hash-code clash.
  • make (v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
  • set_val (v: V_)
  • set_next_val (nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
  • set_key (k: K_)
  • set_next_key (nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
  • set_val_and_key (v: V_, k: K_)
val: V_
writable attribute
key: K_
writable attribute
next_key: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_]
writable attribute
The forward link to the next key in case of hash-code clash.
next_val: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_]
writable attribute
The forward link to the next val in case of hash-code clash.
make (v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
effective procedure
require
  • v /= Void
  • k /= Void
ensure
set_val (v: V_)
effective procedure
ensure
set_next_val (nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
effective procedure
ensure
set_key (k: K_)
effective procedure
ensure
set_next_key (nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_, K_])
effective procedure
ensure
set_val_and_key (v: V_, k: K_)
effective procedure
ensure