Searched refs:move (Results 1 - 25 of 135) sorted by relevance

123456

/seL4-l4v-master/HOL4/examples/RL_Environment/
H A DRL_Lib.sml8 (* TODO: move? or take from elsewhere? *)
15 (* TODO: move to Lib? *)
/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleDiophSynt.sig9 datatype move = Add of int | Exp of int type
19 val rlobj : (board,move) mlReinforce.rlobj
22 val solve_target : (bool * real * tnn) -> board -> (board,move) psMCTS.tree
H A DmleCombinSynt.sig8 datatype move = S0 | S1 | S2 | K0 | K1 type
21 val rlobj : (board,move) mlReinforce.rlobj
H A DmleCombinSynt.sml61 datatype move = S0 | S1 | S2 | K0 | K1 type
65 fun string_of_move move = case move of
75 fun res_of_move move = case move of
82 fun replace_metavar move c = case c of
84 let val c1o = replace_metavar move c1 in
87 let val c2o = replace_metavar move c2 in
92 | V1 => SOME (res_of_move move)
97 fun apply_move_aux move (c
[all...]
H A DmleDiophSynt.sml42 datatype move = Add of int | Exp of int type
45 fun string_of_move move = case move of
51 fun apply_move_poly move poly =
52 case move of
70 fun apply_move (tree,id) move (poly,graph,n) =
71 ((apply_move_poly move poly, graph, n-1), tree)
82 val game : (board,move) game =
217 val rlobj : (board,move) rlobj =
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/examples/solitare/
H A Dsolitare.cxx91 // there's a move from 'src' to 'dst' over 'tmp'
106 // Encode one move from 'src' to 'dst' over 'tmp'
109 bdd move = boardC[src] & boardC[tmp] & !boardC[dst] & local
112 move &= all_other_idle(src, tmp, dst);
114 return move;
/seL4-l4v-master/HOL4/tools-poly/poly/
H A DHelp.sig32 d move down by half a screen
33 u move up by half a screen
34 t move to top of file
35 b move to bottom of file
/seL4-l4v-master/HOL4/src/AI/proof_search/
H A DpsBigSteps.sml77 fun f1 (((move,r),_),_) =
78 pretty_real r ^ ": " ^ #string_of_move game move
79 fun f2 (((move,_),_),r) =
80 pretty_real r ^ ": " ^ #string_of_move game move
118 MCTS big steps. Ending the search when there is no move available.
H A DpsMCTS.sml166 fun f ((move,polv),noise) =
171 (move,newpolv)
228 fun puct_choice param tree vtot ((move,polv),cid) =
248 fun lead_lose tree ((move,polv),cid) =
297 val move = find_move (#pol node) cid value
298 val (board2,newtree) = (#apply_move (#game obj)) (tree,id) move board1
407 let val ((move,_),cid) = hd l in value
408 (#board node, move) :: trace_win_movel tree cid
430 fun toy_apply_move (tree,id) move (start,finish,timer) = case move o
[all...]
H A DpsMCTS.sig14 (* search tree: 'a is a board position, 'b is a move *)
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_astScript.sml21 | Pmfcrbit of ireg => crbit (* move condition bit to reg *)
63 | Pfmr of freg => freg (* float move *)
83 | Pmfcrbit of ireg => crbit (* move condition bit to reg *)
84 | Pmflr of ireg (* move LR to reg *)
85 | Pmr of ireg => ireg (* integer move *)
86 | Pmtctr of ireg (* move ireg to CTR *)
87 | Pmtlr of ireg (* move ireg to LR *)
/seL4-l4v-master/HOL4/tools/mlyacc/mlyacclib/
H A DMLY_stream.sml6 * to move into sigobj, and I don't want name-clashes, particularly with
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DRegion.java67 public void move(int x) { method in class:Region
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DRegion.java67 public void move(int x) { method in class:Region
/seL4-l4v-master/isabelle/src/Pure/General/
H A Dfile.scala259 if (path.is_file) move(path, path.backup)
265 if (path.is_file) move(path, path.backup2)
312 /* move */
314 def move(src: JFile, dst: JFile)
318 Files.move(src.toPath, target.toPath, StandardCopyOption.REPLACE_EXISTING)
321 def move(path1: Path, path2: Path): Unit = move(path1.file, path2.file)
H A Dcompletion.scala28 move: Int,
494 move = - s2.length
502 else if (move != 0) List(name1, "(template)")
506 yield Completion.Item(range, original, name1, description, s1 + s2, move, immediate)
/seL4-l4v-master/l4v/isabelle/src/Pure/General/
H A Dfile.scala259 if (path.is_file) move(path, path.backup)
265 if (path.is_file) move(path, path.backup2)
312 /* move */
314 def move(src: JFile, dst: JFile)
318 Files.move(src.toPath, target.toPath, StandardCopyOption.REPLACE_EXISTING)
321 def move(path1: Path, path2: Path): Unit = move(path1.file, path2.file)
H A Dcompletion.scala28 move: Int,
494 move = - s2.length
502 else if (move != 0) List(name1, "(template)")
506 yield Completion.Item(range, original, name1, description, s1 + s2, move, immediate)
/seL4-l4v-master/isabelle/src/Pure/PIDE/
H A Dline.scala147 @tailrec def move(i: Text.Offset, lines_count: Int, lines_rest: List[Line]): Position =
155 else move(i - (n + 1), lines_count + 1, ls)
158 move(text_offset, 0, lines)
/seL4-l4v-master/l4v/isabelle/src/Pure/PIDE/
H A Dline.scala147 @tailrec def move(i: Text.Offset, lines_count: Int, lines_rest: List[Line]): Position =
155 else move(i - (n + 1), lines_count + 1, ls)
158 move(text_offset, 0, lines)
/seL4-l4v-master/isabelle/src/Pure/Admin/
H A Dbuild_jdk.scala124 File.move(jdk_dir, platform_dir)
168 File.move(dir + Path.explode(platform.name), component_dir)
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/
H A Dbuild_jdk.scala124 File.move(jdk_dir, platform_dir)
168 File.move(dir + Path.explode(platform.name), component_dir)
/seL4-l4v-master/l4v/tools/autocorres/tools/
H A Drelease.py309 shutil.move(os.path.join(c_parser_working_dir, "src", "c-parser"),
311 shutil.move(os.path.join(c_parser_working_dir, "README.md"),
313 shutil.move(os.path.join(c_parser_working_dir, "doc", "ctranslation.pdf"),
/seL4-l4v-master/HOL4/src/marker/
H A DmarkerScript.sml54 (* Note, if you want to move a pair of things to the edge of a term,
55 you can move one of them, and then the second in two successive
/seL4-l4v-master/HOL4/src/parse/
H A DTermParse.sig39 Note that ctxt_termS and other functions that take grammars and move from

Completed in 115 milliseconds

123456