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 System.Collections.IEnumerator GetEnumerator()
{
HPosition pos = new HPosition(ref FirstCluster, 0);
while (!pos.IsLastPosition())
{
if (Used(pos.cluster.Cluster[pos.offset]))
{
yield return(pos.cluster.Cluster[pos.offset]);
}
IncreaseKey(ref pos);
}
}
public bool ContainsKey(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].low == low && pos.cluster.Cluster[pos.offset].high == high && pos.cluster.Cluster[pos.offset].var == var)
{
return(true);
}
IncreaseKey(ref pos);
}
return(false);
}
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);
}
}
public void Add(HEntry entry)
{
#if NoGC
if (NeedResize())
{
AddCluster();
}
#endif
HPosition pos = GenerateKey(entry.var, entry.low, entry.high);
while (Used(pos.cluster.Cluster[pos.offset]))
{
IncreaseKey(ref pos);
}
pos.cluster.Cluster[pos.offset] = entry;
count++;
}
internal void IncreaseKey(ref HPosition position)
{
position.offset++;
if (position.cluster.Cluster.Length == position.offset) //treat array as a cycle
{
position.offset = 0;
if (position.cluster.IsLastCluster())
{
position.cluster = this.FirstCluster;
}
else
{
position.cluster = position.cluster.next;
}
}
}
public int this[int var, int low, int high]
{
get
{
HPosition pos = GenerateKey(var, low, high);
while (!Null(pos.cluster.Cluster[pos.offset]))
{
if (pos.cluster.Cluster[pos.offset].low == low && pos.cluster.Cluster[pos.offset].high == high && pos.cluster.Cluster[pos.offset].var == var)
{
return(pos.cluster.Cluster[pos.offset].u);
}
IncreaseKey(ref pos);
}
return(0);
}
}
