Searched defs:oldvar (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | pairs.c | 195 int bdd_setpair(bddPair *pair, int oldvar, int newvar) argument
216 bdd_setbddpair(bddPair *pair, int oldvar, BDD newvar) argument
251 bdd_setpairs(bddPair *pair, int *oldvar, int *newvar, int size) argument
265 bdd_setbddpairs(bddPair *pair, int *oldvar, BDD *newvar, int size) argument
[all...] |
| H A D | cppext.cxx | 114 int bdd_setbddpairs(bddPair *pair, int *oldvar, const bdd *newvar, int size) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 540 EXTERNML value mlbdd_makepairset(value oldvar, value newvar) /* ML */ argument
574 EXTERNML value mlbdd_makebddpairset(value oldvar, value newvar) /* ML */ argument
811 EXTERNML value mlfdd_setpairs(value oldvar, value newvar) /* ML */ argument
|
Completed in 93 milliseconds