597598599600601602603604605606607
// create a new one. Otherwise, zero out the existing one. // if (newSet == null) newSet = new CMStateSet(fLeafCount); else newSet.zeroBits(); /* Optimization(Jan, 2001) */ int leafIndex = fLeafSorter[sorterIndex++]; while (leafIndex != -1) {
625626627628629630631632633634635
695696697698699700701702703704705
545546547548549550551552553554555
600601602603604605606607608609610
598599600601602603604605606607608
807808809810811812813814815816817
546547548549550551552553554555556