public void Save(BinaryWriter Output) { Output.Write (this.numberOfItems); Output.Write (this.postinglist.Count); CompositeIO<Node>.SaveVector (Output, this.postinglist); }