class BACKTRACKING_NODE_CUT

Features exported to INTERNALS_HANDLER

node to call cut and continue

Direct parents

conformant parents

BACKTRACKING_NODE

Summary

exported features

Details

explore (explorer: BACKTRACKING)

That feature must update the state of 'explorer'.