+
Point of view
INTERNALS_HANDLER
class BACKTRACKING_NODE_CUT_AND_FALSE
Summary
Overview
exported features
explore (explorer: BACKTRACKING)
effective procedure
That feature must update the state of 'explorer'.