+
Point of view
ANY
class BACKTRACKING_NODE_TRUE_OR
Summary
Class invariant
Overview
creation features
explore (explorer: BACKTRACKING)
effective procedure
That feature must update the state of 'explorer'.
writable attribute
the node
make (value: BACKTRACKING_NODE)
effective procedure
set_node (value: BACKTRACKING_NODE)
effective procedure
the_cut_node: BACKTRACKING_NODE_CUT
once function
the_true_node: BACKTRACKING_NODE_TRUE
once function
the_false_node: BACKTRACKING_NODE_FALSE
once function
the_cut_and_false_node: BACKTRACKING_NODE_CUT_AND_FALSE
once function