public ItemSet GetLine(int index) { ItemSet ret = new ItemSet(); ret.SetIndices(lins[index]); return ret; }