final int ch = alphabet[x]; final int cvec = getVector(ch, xpos, end); int dest = description.transition(k, xpos, cvec); if (dest >= 0) {
final int ch = alphabet[x]; final int cvec = getVector(ch, xpos, end); int dest = description.transition(k, xpos, cvec); if (dest >= 0) {
final int ch = alphabet[x]; final int cvec = getVector(ch, xpos, end); int dest = description.transition(k, xpos, cvec); if (dest >= 0) {
final int ch = alphabet[x]; final int cvec = getVector(ch, xpos, end); int dest = description.transition(k, xpos, cvec); if (dest >= 0) {