Searched defs:bdd_setbddpairs (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dpairs.c265 int bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) function
H A Dcppext.cxx114 int bdd_setbddpairs(bddPair *pair, int *oldvar, const bdd *newvar, int size) function

Completed in 78 milliseconds