GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
HASHED_SET_NODE
+
Point of view
All features
ANY
ABSTRACT_HASHED_SET
All features
class HASHED_SET_NODE [E_]
Summary
top
Auxiliary class to implement
HASHED_SET
.
Direct parents
Inherit list:
ANY_HASHED_SET_NODE
Overview
top
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
{
ABSTRACT_HASHED_SET
}
top
next
: HASHED_SET_NODE [E_]
writable attribute
{
ABSTRACT_HASHED_SET
}
top
The
next
one when some clash occurs.
set_next
(n: HASHED_SET_NODE [E_])
effective procedure
{
ABSTRACT_HASHED_SET
}
top
ensure
next
= n
make
(i: E_, n: HASHED_SET_NODE [E_])
effective procedure
{
ABSTRACT_HASHED_SET
}
top
ensure
item
= i
next
= n