+
Point of view
ANY
class BACKTRACKING_NODE_OR_LIST
Summary
Class invariant
Overview
creation features
exported features
explore (explorer: BACKTRACKING)
effective procedure
That feature must update the state of 'explorer'.
writable attribute
first node of the list
next: BACKTRACKING_NODE_OR_LIST
writable attribute
remaining of the list
make (nod: BACKTRACKING_NODE, nxt: BACKTRACKING_NODE_OR_LIST)
effective procedure
set_node (value: BACKTRACKING_NODE)
effective procedure
set_next (value: BACKTRACKING_NODE_OR_LIST)
effective procedure