644645646647648649650651652653654
// two nodes. int size = vec.size(), i; for (i = size - 1; i >= 0; i--) { int child = vec.elementAt(i); if (child == node) { i = -2; // Duplicate, suppress insert
766767768769770771772773774775776
{ list = new int[lastIndex + 1]; for (int i = lastIndex; i >= 0; i--) { Node target = ancestors.elementAt(i); list[lastIndex - i] = ctable.countNode(xctxt, this, target); } } }