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); }