Searched refs:myBitsClone (Results 1 – 1 of 1) sorted by relevance
802 final BitSet myBitsClone = (BitSet) mBitSet.clone(); in areAllPathsSatisfied() local803 myBitsClone.andNot(readSoFar); in areAllPathsSatisfied()804 if (!myBitsClone.isEmpty()) { in areAllPathsSatisfied()