Searched defs:support (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/HOL4/src/pred_set/Manual/
H A Ddescription.tex[all...]
/seL4-l4v-master/HOL4/examples/muddy/
H A Dbdd.sig40 val support : bdd -> varSet value
H A Dbdd.sml138 val support : bdd -> varSet = app1 (symb "mlbdd_bdd_support") value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c2114 static void support_rec(int r, int* support) argument
2132 support_rec(LOWp(node), support); local
2133 support_rec(HIGHp(node), support); local
[all...]
/seL4-l4v-master/HOL4/src/probability/
H A DiterateScript.sml1377 val support = new_definition ("support", value
[all...]

Completed in 72 milliseconds