public string TerminalImageSet(TerminalSet ts)
{
StringBuilder result = new StringBuilder();
bool isFirst = true;
int[] ii;
ts.ToIntArray(out ii);
ArrayList a;
foreach (int i in ii)
{
a = TerminalsOf(i);
bool isImage = false;
if (a != null)
foreach (TermDescr td in a)
{
isImage = true;
if (isFirst) isFirst = false; else result.Append(", ");
result.Append(td.Image);
}
if (!isImage)
{
if (isFirst) isFirst = false; else result.Append(", ");
result.Append("<" + (string)names[i] + ">");
}
}
return result.ToString();
}