/// <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());
}
}