Searched defs:best (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/src/portableML/
H A DUTF8Set.sml48 val best = if b then SOME {pfx=curpfx,rest=s} else best value
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/
H A Dreorder.c182 int best = reorder_nodenum(); local
228 int best = reorder_nodenum(); local
264 int best = reorder_nodenum(); local
470 int best = reorder_nodenum(); local
[all...]
/seL4-l4v-master/HOL4/src/datatype/
H A DDatatype.sml427 val (best, rest') = pull_out_next rest value
/seL4-l4v-master/isabelle/src/Tools/Metis/src/
H A DNormalize.sml782 type best = count * formula option; type
867 val best = List.foldl breakSing best (cumulatives fms) value
868 val best = breakSet I best value
869 val best = breakSet countNegate best value
870 val best = breakSet countClauses best value
[all...]
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/
H A DNormalize.sml782 type best = count * formula option; type
867 val best = List.foldl breakSing best (cumulatives fms) value
868 val best = breakSet I best value
869 val best = breakSet countNegate best value
870 val best = breakSet countClauses best value
[all...]
/seL4-l4v-master/HOL4/src/metis/
H A DnormalForms.sml1310 val best = if m < n then (m,vs,tm) else best value
[all...]
/seL4-l4v-master/HOL4/examples/l3-machine-code/common/
H A DutilsLib.sml

Completed in 106 milliseconds