Gets the left depth of the current node in the search tree.
The root node is depth 0
(zero); the left depth of other nodes is the number of times that the first 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 in fact 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 left depth of a node.
This method can be called only from the methods init
and evaluate
.