class BACKTRACKING_NODE_CUT

All features

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'.