/seL4-l4v-master/HOL4/examples/RL_Environment/ |
H A D | RL_Lib.sml | 8 (* TODO: move? or take from elsewhere? *) 15 (* TODO: move to Lib? *)
|
/seL4-l4v-master/HOL4/examples/AI_tasks/ |
H A D | mleDiophSynt.sig | 9 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 D | mleCombinSynt.sig | 8 datatype move = S0 | S1 | S2 | K0 | K1 type 21 val rlobj : (board,move) mlReinforce.rlobj
|
H A D | mleCombinSynt.sml | 61 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 D | mleDiophSynt.sml | 42 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 D | solitare.cxx | 91 // 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 D | Help.sig | 32 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 D | psBigSteps.sml | 77 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 D | psMCTS.sml | 166 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 D | psMCTS.sig | 14 (* search tree: 'a is a board position, 'b is a move *)
|
/seL4-l4v-master/HOL4/examples/machine-code/instruction-set-models/ppc/ |
H A D | ppc_astScript.sml | 21 | 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 D | MLY_stream.sml | 6 * to move into sigobj, and I don't want name-clashes, particularly with
|
/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Region.java | 67 public void move(int x) { method in class:Region
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Region.java | 67 public void move(int x) { method in class:Region
|
/seL4-l4v-master/isabelle/src/Pure/General/ |
H A D | file.scala | 259 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 D | completion.scala | 28 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 D | file.scala | 259 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 D | completion.scala | 28 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 D | line.scala | 147 @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 D | line.scala | 147 @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 D | build_jdk.scala | 124 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 D | build_jdk.scala | 124 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 D | release.py | 309 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 D | markerScript.sml | 54 (* 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 D | TermParse.sig | 39 Note that ctxt_termS and other functions that take grammars and move from
|