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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c90 static char* postgc = NULL; variable
96 else if(num==0 && printgc) { printf(postgc); fflush(stdout); }
102 stat_free(postgc);
125 mlbdd_copy2cstring(post, postgc);
/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 44 milliseconds