+
Point of view
All features
class HASHED_SET_NODE [E_]
Summary
Auxiliary class to implement HASHED_SET.
Direct parents
Inherit list: ANY_HASHED_SET_NODE
Overview
Creation features
{ABSTRACT_HASHED_SET}
  • make (i: E_, n: HASHED_SET_NODE [E_])
Features
{ABSTRACT_HASHED_SET}
  • item: E_
  • next: HASHED_SET_NODE [E_]
    The next one when some clash occurs.
  • set_next (n: HASHED_SET_NODE [E_])
  • make (i: E_, n: HASHED_SET_NODE [E_])
item: E_
writable attribute
next: HASHED_SET_NODE [E_]
writable attribute
The next one when some clash occurs.
set_next (n: HASHED_SET_NODE [E_])
effective procedure
ensure
make (i: E_, n: HASHED_SET_NODE [E_])
effective procedure
ensure