public int PopCount(int symbol) { if (this.postinglist [symbol] == null) { return 0; } return this.postinglist [symbol].Count; }