Searched refs:replacecache (Results 1 - 1 of 1) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c108 static BddCache replacecache; /* Cache for replace results */ variable
184 if (BddCache_init(&replacecache,cachesize) < 0)
208 BddCache_done(&replacecache);
222 BddCache_reset(&replacecache);
250 BddCache_resize(&replacecache, newcachesize);
1155 entry = BddCache_lookup(&replacecache, REPLACEHASH(r));
1279 entry = BddCache_lookup(&replacecache, COMPOSEHASH(f,g));
1392 entry = BddCache_lookup(&replacecache, VECCOMPOSEHASH(f));

Completed in 33 milliseconds