public void Add(int u1, int u2, Op op, int u)
{
BddGCacheEntry entry = new BddGCacheEntry(u1, u2, op, u);
uint key = GenerateKey(op, u1, u2);
//################## Just DEBUG #################
//if (cacheArray[key].u1 != 0 && cacheArray[key].u2 != 0) collisions++;
//inserts++;
//###############################################
cacheArray[key] = entry;
}
public void Clear()
{
this.cacheArray = new BddGCacheEntry[this.size];
cacheArray[0] = new BddGCacheEntry(-1, -1, Op.BIMP, -1);
}