public static Plain32InvertedIndex Build(InvertedIndex invindex) { var I = new Plain32InvertedIndex (); for (int i = 0; i < invindex.Count; ++i) { I.Add (invindex[i]); } return I; }