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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dpairs.c216 int bdd_setbddpair(bddPair *pair, int oldvar, BDD newvar) function
H A Dbdd.h583 inline int bdd_setbddpair(bddPair *p, int ov, const bdd &nv) function

Completed in 33 milliseconds