Searched defs:bdd_init (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dcppext.cxx79 #undef bdd_init macro
H A Dkernel.c173 int bdd_init(int initnodesize, int cs) function
H A Dbdd.h724 #define bdd_init bdd_cpp_init macro

Completed in 37 milliseconds