+
Point of view
All features
deferred class BACKTRACKING_NODE
Summary
Overview
Features
{ANY}
explore (explorer: BACKTRACKING)
deferred procedure
{ANY}
That feature must update the state of 'explorer'.