Searched refs:bdd_setbddpair (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | pairs.c | 180 int bdd_setbddpair(bddPair *pair, BDD oldvar, BDD newvar) *}
216 int bdd_setbddpair(bddPair *pair, int oldvar, BDD newvar) function
272 if ((e=bdd_setbddpair(pair, oldvar[n], newvar[n])) < 0)
|
| H A D | bdd.h | 268 extern int bdd_setbddpair(bddPair*, int, BDD);
470 friend int bdd_setbddpair(bddPair*, int, const bdd &);
583 inline int bdd_setbddpair(bddPair *p, int ov, const bdd &nv) function
584 { return bdd_setbddpair(p,ov,nv.root); }
|
| H A D | cppext.cxx | 120 if ((e=bdd_setbddpair(pair, oldvar[n], newvar[n].root)) < 0)
|
Completed in 39 milliseconds