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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcppext.cxx69 static bddstrmhandler strmhandler_bdd; variable
85 strmhandler_bdd = NULL;
204 bddstrmhandler old = strmhandler_bdd;
205 strmhandler_bdd = handler;
249 if (strmhandler_bdd)
250 strmhandler_bdd(o,bddlevel2var[LEVELp(node)]);
340 if (strmhandler_bdd)
341 strmhandler_bdd(o,bddlevel2var[LEVELp(node)]);
375 if (strmhandler_bdd)
376 strmhandler_bdd(
[all...]

Completed in 23 milliseconds