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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c119 static BDD not_rec(BDD);
404 res = not_rec(r);
421 static BDD not_rec(BDD r) function
444 PUSHREF( not_rec(LOW(r)) );
445 PUSHREF( not_rec(HIGH(r)) );
775 return not_rec(f);

Completed in 162 milliseconds