class LINKED_LIST_NODE [E_]
Summary
Overview
creation features
  • make (i: E_, n: LINKED_LIST_NODE [E_])
exported features
  • make (i: E_, n: LINKED_LIST_NODE [E_])
item: E_
writable attribute
next: LINKED_LIST_NODE [E_]
writable attribute
make (i: E_, n: LINKED_LIST_NODE [E_])
effective procedure
set_item (i: E_)
effective procedure
set_next (n: LINKED_LIST_NODE [E_])
effective procedure
set_all_with (v: E_)
effective procedure