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