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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c97 static int composelevel; /* Current variable used for compose */ variable
1248 composelevel = bddvar2level[var];
1249 replaceid = (composelevel << 2) | CACHEID_COMPOSE;
1276 if (LEVEL(f) > composelevel)
1291 if (LEVEL(f) < composelevel)
1315 /*if (LEVEL(f) == composelevel) changed 2-nov-98 */

Completed in 34 milliseconds