Searched defs:hp (Results 1 - 6 of 6) sorted by relevance
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
| H A D | milner.cxx | 31 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp) argument
124 bdd* hp = new bdd[N]; local
[all...] |
| /seL4-l4v-master/HOL4/tools/Holmake/ |
| H A D | holpathdb.sml | 80 val hp = d ++ ".holpath" value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
| H A D | milner.c | 34 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp) argument
229 bdd *c, *cp, *h, *hp, *t, *tp; local
[all...] |
| /seL4-l4v-master/HOL4/examples/HolCheck/ |
| H A D | dbgTools.sml | 45 fun hp s = if (!dbg)>0 then (visp := delete(!visp,s)) else () (* hide all with prefix s *) function
|
| H A D | profTools.sml | 115 fun hp s = if !prf (*hide prefix*) function
|
| /seL4-l4v-master/HOL4/src/metis/ |
| H A D | folMapping.sml | 651 fun hp r tm [] = (r, tm) function
|
Completed in 99 milliseconds