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