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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c89 static char* pregc = NULL; variable
95 if(num==1 && printgc) { printf (pregc); fflush(stdout); }
101 stat_free(pregc);
124 mlbdd_copy2cstring(pre, pregc);
/seL4-l4v-10.1.1/HOL4/examples/muddy/
H A Dbdd.sig341 [verbosegc(SOME(pregc,postgc))] instructs BuDDy to print
342 pregc when a BuDDy GC is initiated and print postgc when the
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolBdd.tex974 Evaluating \t{verbosegc(SOME($pregc$,$postgc$))} instructs BuDDy to print
975 $pregc$ when a BuDDy GC is initiated and print $postgc$ when the
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolBdd.tex974 Evaluating \t{verbosegc(SOME($pregc$,$postgc$))} instructs BuDDy to print
975 $pregc$ when a BuDDy GC is initiated and print $postgc$ when the

Completed in 50 milliseconds