/// <summary> /// Appends the character ranges for a Discrete distribution over characters to a string builder. /// </summary> /// <param name="resultBuilder">The string builder.</param> /// <param name="discreteChar">The Discrete distribution over characters.</param> private static void AppendRangesForDiscreteChar(StringBuilder resultBuilder, DiscreteChar discreteChar) { var ranges = discreteChar.GetRanges(); if (ranges.Length > 1) { resultBuilder.Append('['); ranges.ForEach(range => AppendCharacterRange(resultBuilder, range)); resultBuilder.Append(']'); } else if (ranges.Length == 1) { AppendCharacterRange(resultBuilder, ranges.Single()); } }