Lines Matching defs:hash
191 bddnodes[n].hash = 0;
745 was (not) found there and how many times a hash chain had to
1015 register unsigned int hash;
1017 hash = NODEHASH(LEVELp(node), LOWp(node), HIGHp(node));
1018 node->next = bddnodes[hash].hash;
1019 bddnodes[hash].hash = n;
1055 bddnodes[n].hash = 0;
1067 register unsigned int hash;
1070 hash = NODEHASH(LEVELp(node), LOWp(node), HIGHp(node));
1071 node->next = bddnodes[hash].hash;
1072 bddnodes[hash].hash = n;
1258 register unsigned int hash;
1270 hash = NODEHASH(level, low, high);
1271 res = bddnodes[hash].hash;
1312 hash = NODEHASH(level, low, high);
1336 node->next = bddnodes[hash].hash;
1337 bddnodes[hash].hash = res;
1372 bddnodes[n].hash = 0;
1377 bddnodes[n].hash = 0;