ParametricDescription description = descriptions[n]; final int numStates = description.size(); final int numTransitions = numStates * Math.min(1 + 2 * n, alphabet.length); final int prefixStates = prefix != null ? prefix.codePointCount(0, prefix.length()) : 0;
ParametricDescription description = descriptions[n]; final int numStates = description.size(); final int numTransitions = numStates * Math.min(1 + 2 * n, alphabet.length); final int prefixStates = prefix != null ? prefix.codePointCount(0, prefix.length()) : 0;
ParametricDescription description = descriptions[n]; int numStates = description.size();
ParametricDescription description = descriptions[n]; int numStates = description.size();