home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
class BACKTRACKING_NODE_CUT
Summary
top
node to call cut and continue
Direct parents
inherit list:
BACKTRACKING_NODE
Overview
top
exported features
explore
(explorer:
BACKTRACKING
)
That feature must update the state of 'explorer'.
explore
(explorer:
BACKTRACKING
)
effective procedure
top
That feature must update the state of 'explorer'.