- int vectorPartLength = vectorPartLengthes.get(partIndex);
- BitVector vectorPart = newStateCasted.subVector(bitIndex, bitIndex + vectorPartLength);
+ int vectorPartWidth = vectorPartWidths.get(partIndex);
+ BitVector vectorPart = newStateCasted.subVector(bitIndex, bitIndex + vectorPartWidth);