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

/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbdd.h250 extern BDD bdd_true(void);
461 friend bdd bdd_true(void);
787 inline bdd bdd_true(void) function
H A Dcppext.cxx60 const bdd bddtruepp = bdd_true();
H A Dkernel.c827 PROTO {* BDD bdd_true(void) *}
834 BDD bdd_true(void) function

Completed in 48 milliseconds