+
Point of view
All features
class BACKTRACKING_NODE_OR_LIST
Summary
Node for an alternative of list of nodes
Direct parents
Inherit list: BACKTRACKING_NODE_LIST
Class invariant
Overview
Creation features
Features
{ANY}
{}
{ANY}
{ANY}
{}
explore (explorer: BACKTRACKING)
effective procedure
{ANY}
That feature must update the state of 'explorer'.
do_fill_tagged_out_memory
effective procedure
{}
writable attribute
{ANY}
first node of the list
next: BACKTRACKING_NODE_OR_LIST
writable attribute
{ANY}
remaining of the list
make (nod: BACKTRACKING_NODE, nxt: BACKTRACKING_NODE_OR_LIST)
effective procedure
{ANY}
set_node (value: BACKTRACKING_NODE)
effective procedure
{ANY}
set_next (value: BACKTRACKING_NODE_OR_LIST)
effective procedure
{ANY}
fill_tagged_out_memory
effective procedure
{ANY}
Append a viewable information in tagged_out_memory in order to affect the behavior of out, tagged_out, etc.
fill_tagged_out_memory_flag: BOOLEAN
writable attribute
{}