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

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_)