Gets the right depth of the current node in the search tree.
The root node is depth 0
(zero); the right depth of other nodes is the number of times that the second goal in a call to Cplex.or
has been taken when branching down from the root to the current node.
If Cplex.or
is called with more than two parameters, this is translated into a sequence of or goals with two children each. E.G. Cplex.or(goal1, goal2, goal3);
is internally translated into Cplex.or(goal1, Cplex.or(goal2, goal3));
to form a binary tree. This transformation is accounted for when defining the right depth of a node.
This method can be called only from the methods Init
and Check
.