| /seL4-l4v-master/HOL4/examples/muddy/ |
| H A D | fdd.sig | 5 type domain = int type
15 val domain: fddvar -> bdd.bdd value
[all...] |
| H A D | fdd.sml | 10 type domain = int type
38 val domain: fddvar -> bdd = app1 (symb "mlfdd_domain") value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/fdd/ |
| H A D | statespace.cxx | 52 int domain[2] = {8,8}; local
|
| /seL4-l4v-master/HOL4/examples/elliptic/ |
| H A D | Map.sig | 71 val domain : ('key,'a) map -> 'key list value
|
| H A D | Map.sml | 568 fun domain m = foldr (fn (key,_,l) => key :: l) [] m; function
|
| /seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 165 val domain : 'a map -> set value
|
| H A D | Set.sig | 147 val domain : ('elt,'a) map -> 'elt set value
|
| H A D | Set.sml | 37 fun domain m = Set (Map.transform (fn _ => ()) m); function
|
| H A D | ElementSet.sml | 51 fun domain m = Set (KM.transform (fn _ => ()) m); function
|
| H A D | Normalize.sml | 545 val domain = NameSet.add domain v value
553 val domain = NameSet.intersect domain (freeVars fm) value
599 val (domain,fvSub) = Subst.foldl mk_dom domain_fvSub sub value
[all...] |
| /seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
| H A D | ElementSet.sig | 165 val domain : 'a map -> set value
|
| H A D | Set.sig | 147 val domain : ('elt,'a) map -> 'elt set value
|
| H A D | Set.sml | 37 fun domain m = Set (Map.transform (fn _ => ()) m); function
|
| H A D | ElementSet.sml | 51 fun domain m = Set (KM.transform (fn _ => ()) m); function
|
| H A D | Normalize.sml | 545 val domain = NameSet.add domain v value
553 val domain = NameSet.intersect domain (freeVars fm) value
599 val (domain,fvSub) = Subst.foldl mk_dom domain_fvSub sub value
[all...] |
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | fdd.c | 67 static Domain *domain; /* Table of domain sizes */ variable
[all...] |
| /seL4-l4v-master/seL4/include/object/ |
| H A D | structures.h | 31 dom_t domain; member in struct:dschedule
|
| /seL4-l4v-master/seL4/src/object/ |
| H A D | tcb.c | 1550 word_t domain; local
|
| /seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 957 makeUserPDE(vm_page_size_t page_size, paddr_t paddr, bool_t parity, bool_t cacheable, bool_t nonexecutable, word_t domain, vm_rights_t vm_rights) argument
|
| /seL4-l4v-master/HOL4/src/quotient/src/ |
| H A D | quotient.sml | 3151 val domain = fst o dom_rng value
[all...] |