Searched defs:hp (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/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-10.1.1/HOL4/tools/Holmake/ |
H A D | holpathdb.sml | 80 val hp = d ++ ".holpath" value
|
/seL4-l4v-10.1.1/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-10.1.1/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-10.1.1/HOL4/src/metis/ |
H A D | folMapping.sml | 650 fun hp r tm [] = (r, tm) function
|
Completed in 93 milliseconds