598599600601602603604605606607608
// 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) {
597598599600601602603604605606607
695696697698699700701702703704705
807808809810811812813814815816817
546547548549550551552553554555556
745746747748749750751752753754755
544545546547548549550551552553554
625626627628629630631632633634635
584585586587588589590591592593594