+
Point of view
ANY
deferred class BACKTRACKING_NODE_BINARY
Summary
Class invariant
Overview
exported features
writable attribute
first node of the sequence
writable attribute
second node of the sequence
effective procedure
set_first (value: BACKTRACKING_NODE)
effective procedure
set_second (value: BACKTRACKING_NODE)
effective procedure
explore (explorer: BACKTRACKING)
deferred procedure
That feature must update the state of 'explorer'.