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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c107 static BddCache appexcache; /* Cache for appex/appall results */ variable
181 if (BddCache_init(&appexcache,cachesize) < 0)
207 BddCache_done(&appexcache);
221 BddCache_reset(&appexcache);
249 BddCache_resize(&appexcache, newcachesize);
1984 entry = BddCache_lookup(&appexcache, APPEXHASH(l,r,appexop));

Completed in 167 milliseconds