home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
HASHED_DICTIONARY
INTERNALS_HANDLER
All features
class HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
]
Summary
top
Auxilliary class to implement
HASHED_DICTIONARY
.
Direct parents
inherit list:
ANY_HASHED_DICTIONARY_NODE
Overview
top
creation features
make
(i: V_, k: K_, n: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
])
features
item
: V_
key
: K_
next
: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
]
The
next
one when some clash occurs.
set_item
(i: V_)
set_next
(n: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
])
make
(i: V_, k: K_, n: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
])
item
: V_
writable attribute
top
key
: K_
writable attribute
top
next
: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
]
writable attribute
top
The
next
one when some clash occurs.
set_item
(i: V_)
effective procedure
top
ensure
item
= i
set_next
(n: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
])
effective procedure
top
ensure
next
= n
make
(i: V_, k: K_, n: HASHED_DICTIONARY_NODE [V_, K_ ->
HASHABLE
])
effective procedure
top
ensure
item
= i
key
= k
next
= n