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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dkernel.c220 bddcachestats.uniqueChain = 0;
759 fprintf(ofile, "Unique Chain: %ld\n", s.uniqueChain);
1285 bddcachestats.uniqueChain++;
H A Dbdd.h165 long unsigned int uniqueChain;
175 uniqueChain & iterations through the cache chains in the unique node table\\
187 long unsigned int uniqueChain; member in struct:s_bddCacheStat
H A Dreorder.c1056 bddcachestats.uniqueChain++;

Completed in 38 milliseconds