class TWO_WAY_LINKED_LIST_NODE [E_]
Summary
To implement TWO_WAY_LINKED_LIST.
Direct parents
Inherit list: ANY_TWO_WAY_LINKED_LIST_NODE
Overview
Creation features
{TWO_WAY_LINKED_LIST}
  • make (i: E_, p: TWO_WAY_LINKED_LIST_NODE [E_], n: TWO_WAY_LINKED_LIST_NODE [E_])
Features
{ITERATOR_ON_TWO_WAY_LINKED_LIST, TWO_WAY_LINKED_LIST, TWO_WAY_LINKED_LIST_NODE}
  • item: E_
  • previous: TWO_WAY_LINKED_LIST_NODE [E_]
  • next: TWO_WAY_LINKED_LIST_NODE [E_]
{TWO_WAY_LINKED_LIST}
  • make (i: E_, p: TWO_WAY_LINKED_LIST_NODE [E_], n: TWO_WAY_LINKED_LIST_NODE [E_])
{TWO_WAY_LINKED_LIST, TWO_WAY_LINKED_LIST_NODE}
previous: TWO_WAY_LINKED_LIST_NODE [E_]
writable attribute
next: TWO_WAY_LINKED_LIST_NODE [E_]
writable attribute
make (i: E_, p: TWO_WAY_LINKED_LIST_NODE [E_], n: TWO_WAY_LINKED_LIST_NODE [E_])
effective procedure
ensure
set_item (i: E_)
effective procedure
ensure
set_next (n: TWO_WAY_LINKED_LIST_NODE [E_])
effective procedure
ensure
set_all_with (v: E_)
effective procedure
set_previous (p: TWO_WAY_LINKED_LIST_NODE [E_])
effective procedure
ensure