175176177178179180181182183184185
me.set(documentIndex); } else { final BitSet child = getBitSet(level + 1); child.clear(); edges.push(stree.getStartIndex(edge), stree.getEndIndex(edge)); countDocs(level + 1, childState); edges.discard(2); me.or(child); }