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