Lines Matching defs:numCharacters
655 unsigned numCharacters = (valueBits.getBitWidth() + 3) / 4;
656 assert(numCharacters != 0);
660 buffer.set_size(numCharacters);
663 for (unsigned stringIndex = 0; stringIndex != numCharacters; ++stringIndex) {
665 unsigned digitBitIndex = 4 * (numCharacters - stringIndex - 1);
681 Out.write(buffer.data(), numCharacters);