public override string DescriptionOf(object key)
{
MapletViewer mv = (MapletViewer)key;
return((isBag ? "" : "Key: ") + mv.k.ToString() + "\n" +
(isBag ? "Multiplicity: " : "Value: ") + mv.t.ToString());
}
internal MapViewer(string keyName, CompoundTerm t, bool isBag)
{
this.isBag = isBag;
this.t = t;
this.keyName = keyName;
this.argumentViewers = new TermViewer[t.Arguments.Count / 2];
for (int i = 0; i < argumentViewers.Length; i++)
{
argumentViewers[i] = new MapletViewer(t.Arguments[2 * i], t.Arguments[(2 * i) + 1], isBag);
}
}
internal MapViewer(string keyName, CompoundTerm t, bool isBag)
{
this.isBag = isBag;
this.t = t;
this.keyName = keyName;
this.argumentViewers = new TermViewer[t.Arguments.Count/2];
for (int i = 0; i < argumentViewers.Length; i++)
{
argumentViewers[i] = new MapletViewer(t.Arguments[2 * i], t.Arguments[(2 * i) + 1], isBag);
}
}
