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

/seL4-l4v-10.1.1/HOL4/examples/HolBdd/Examples/Solitaire/
H A DHexSolitaireScript.sml116 val moves = value
H A DSolitaireScript.sml133 val moves = value
H A DMiniTLHexSolitaireScript.sml118 val moves = value
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dsolitare.cxx23 int moves[][3] = variable
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/
H A Dttt.sml108 val moves = lam @ lbm; value
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DregAlloc.sml538 fun moves (t,[],[]) = t function
/seL4-l4v-10.1.1/HOL4/examples/machine-code/compiler/
H A Dreg_allocLib.sml339 val moves = append_lists (map (pref o snd) ts) value
362 val moves = filter (fn z => not (z = (x,y))) moves value
363 val moves = map (fn (z1,z2) => (if z1 = y then x else z1,if z2 = y then x else z2)) moves value
369 val moves = filter (fn (x,y) => not (x = w) andalso not (y = w)) moves value
484 val moves = move_assignments ts graph value
[all...]

Completed in 92 milliseconds