class LINKED_LIST_NODE [E_]
Features exported to LINKED_LIST_NODE
To implement
LINKED_LIST
.
Direct parents
conformant parents
ANY_LINKED_LIST_NODE
Summary
creation features
exported features
item
: E_
next
: LINKED_LIST_NODE [E_]
set_item
(i: E_)
set_next
(n: LINKED_LIST_NODE [E_])
set_all_with
(v: E_)
Details
item
: E_
next
: LINKED_LIST_NODE [E_]
set_item
(i: E_)
ensure
item = i
set_next
(n: LINKED_LIST_NODE [E_])
ensure
next = n
set_all_with
(v: E_)