Searched refs:bdd_setpairs (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
H A D | milner.cxx | 138 bdd_setpairs(renamepair, pvar, nvar, N*3);
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
H A D | pairs.c | 244 PROTO {* int bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size) 251 int bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size) function
|
H A D | bdd.h | 267 extern int bdd_setpairs(bddPair*, int*, int*, int);
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
H A D | milner.c | 270 bdd_setpairs(pairs, primvar, normvar, N*3);
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 559 bdd_setpairs(pairs, o, n, size);
|
Completed in 86 milliseconds