Searched defs:tmp2 (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
| H A D | milner.c | 16 bdd res = bddtrue, tmp1, tmp2; local
38 bdd tmp1, tmp2, tmp3, tmp4, tmp5, tmp6; local
134 bdd I, tmp1, tmp2, tmp3; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.c | 542 BDD tmp1, tmp2, tmp3; local
611 BDD tmp1, tmp2, tmp3; local
962 bdd tmp1, tmp2, rEquN; local
1074 bdd tmp1, tmp2, rEquN; local
1161 BDD tmp2 = bdd_addref(bdd_apply(l.bitvec[n],r.bitvec[n],bddop_biimp)); local
1205 BDD tmp2 = bdd_addref( bdd_apply(l.bitvec[n], r.bitvec[n], bddop_biimp) ); local
1283 BDD tmp1, tmp2; local
[all...] |
| H A D | fdd.c | 608 BDD e = bddtrue, tmp1, tmp2; local
|
Completed in 90 milliseconds