public void AddCluster() { HCluster NewCluster = new HCluster(this.size); size = (int)(size * factor); NewCluster.next = this.FirstCluster; //New cluster is added in the beginning this.FirstCluster = NewCluster; HPosition pos = new HPosition(ref FirstCluster.next, 0); while (!(pos.cluster == FirstCluster && pos.offset == 0)) //rehash { if (Used(pos.cluster.Cluster[pos.offset])) { HEntry entry = pos.cluster.Cluster[pos.offset]; HPosition newPosition = GenerateKey(entry.var, entry.low, entry.high); if (newPosition.offset != pos.offset || newPosition.cluster != pos.cluster) { pos.cluster.Cluster[pos.offset] = HEntry.DirtyEntry(); this.count--; Add(entry); } } IncreaseKey(ref pos); } }
public void Remove(int var, int low, int high) { HPosition pos = GenerateKey(var, low, high); while (!Null(pos.cluster.Cluster[pos.offset])) { if (pos.cluster.Cluster[pos.offset].var == var && pos.cluster.Cluster[pos.offset].low == low && pos.cluster.Cluster[pos.offset].high == high) { count--; pos.cluster.Cluster[pos.offset] = HEntry.DirtyEntry(); //Only flags dirty return; } IncreaseKey(ref pos); } }