570571572573574575576577578579580
// 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) {
755756757758759760761762763764765
696697698699700701702703704705706
597598599600601602603604605606607
625626627628629630631632633634635
695696697698699700701702703704705
545546547548549550551552553554555
600601602603604605606607608609610