/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/ |
H A D | Directory.java | 10 public Directory(TreeNode nd,String n,Vector col) { argument 11 collapsed=col;
|
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/ |
H A D | Directory.java | 10 public Directory(TreeNode nd,String n,Vector col) { argument 11 collapsed=col;
|
/seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
H A D | parse_enum.c | 13 enum hue col; local 15 col = claret;
|
/seL4-l4v-master/HOL4/polyml/basis/ |
H A D | Array2.sml | 40 col : int, 102 fun getRegion {base, row, col, nrows, ncols} = 118 if col < 0 orelse col > lCols 120 else lCols - col 122 if c < 0 orelse col < 0 orelse c+col > lCols 129 fun copy {src as {base, row, col, ...}, dst, dst_row, dst_col} = 141 uncheckedSub(base, row+r, col+c)); 151 uncheckedSub(base, row+r, col [all...] |
H A D | Array2Signature.sml | 27 col : int,
|
H A D | IntArray2.sml | 31 col : int,
|
/seL4-l4v-master/HOL4/examples/formal-languages/context-free/ |
H A D | locationScript.sml | 6 locn = <| row : num; col : num; offset : num |>`; 13 default_loc = <| row := 1; col := 1; offset := 0 |>`; 19 unknown_loc = Locs <| row := 0; col := 0; offset := 0 |> 20 <| row := 0; col := 0; offset := 0 |>`; 36 (h, Locs <| row := n; col := 0; offset := 0 |> 37 <| row := n; col := 1; offset := 0 |>) :: map_loc t (n+1))
|
H A D | grammarLib.sml | 107 fun newline ((col, line), msg) = ((0, line + 1), msg) 108 fun add1col ((col, line), msg) = ((col + 1, line), msg) 110 fun posn_toString (col, line) = Int.toString line ^ "." ^ Int.toString col 128 fun setPosn (line,col) ((_, m), i) = ((((col,line), m), i), Some ())
|
/seL4-l4v-master/HOL4/src/prekernel/ |
H A D | locn.sml | 13 = "frag "^Int.toString(nf)^" row "^Int.toString(r)^" col "^Int.toString(c) 21 fun rel_to_abs row col (LocP(nf,r,c)) 23 LocA(row,col+c) 26 | rel_to_abs row col locp 38 Int.toString(nf1)^" row "^Int.toString(r1)^" col "^Int.toString(c1)^ 40 Int.toString(nf2)^" row "^Int.toString(r2)^" col "^Int.toString(c2) 43 Int.toString(r1)^" col "^Int.toString(c1)^ 45 Int.toString(r2)^" col "^Int.toString(c2) 51 "at frag "^Int.toString(nf1)^" row "^Int.toString(r1)^" col "^Int.toString(c1)
|
/seL4-l4v-master/HOL4/src/pattern_matches/ |
H A D | constrFamiliesLib.sml | 520 (* how many rows of the col are not constructor applications 581 fun measure_constructorFamily (cf : constructorFamily) col = let 582 fun list_count p col = 583 foldl (fn (r, c) => if (p r) then c+1 else c) 0 col 604 end handle HOL_ERR _ => false) col) 610 colstat_missed_rows = list_count row_is_missed col, 644 fun lookup_constructorFamily force_exh (db : pmatch_compile_db) col = let 645 val _ = if (List.null col) then (failwith "constructorFamiliesLib" "lookup_constructorFamilies: null col") else () 647 val _ = if List.all (fn (vs, c) => is_var c andalso tmem c vs) col the [all...] |
H A D | patternMatchesLib.sml | 991 fun pair_get_col col v = let 993 val (vs', c_v) = replace_element vs col [] 1027 val col = 0 1030 fun PMATCH_REMOVE_COL_AUX rc_arg col t = let 1032 val (v', c_v) = pair_get_col col v 1046 val (pt0', pv) = pair_get_col col pt 1072 val _ = if List.all (fn x => List.exists (aconv (#redex x)) vars) sub then () else failwith "not a constant-col after all" 1155 val col = 0 1159 fun PMATCH_REMOVE_FUN_AUX rc_arg col t = let 1164 val c_args = List.nth(vs, col) [all...] |
H A D | patternMatchesSyntax.sml | 477 val col = map hd rows value 480 get_cols ((v, col)::acc) vs' rows'
|
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | Doc2Txt.sml | 16 fun print_filled_words strm col wlist = 18 [] => col 22 if col = 0 then 25 else if sz + 1 + col > pagewidth then 29 print_filled_words strm (col + sz + 1) ws)
|
/seL4-l4v-master/HOL4/examples/acl2/lisp/ |
H A D | a2ml.lisp | 226 (col state) 229 (declare (ignore col))
|
H A D | book-essence.lisp | 351 (t (mv-let (col state) 355 (declare (ignore col))
|
/seL4-l4v-master/HOL4/examples/HolCheck/examples/ |
H A D | ttt.sml | 44 val _ = Array2.copy {src=({base=am,row=0,col=0,nrows=NONE,ncols=NONE}),dst=am',dst_row=0,dst_col=0} 45 val _ = Array2.copy {src=({base=bm,row=0,col=0,nrows=NONE,ncols=NONE}),dst=bm',dst_row=0,dst_col=0}
|
/seL4-l4v-master/HOL4/src/parse/ |
H A D | Hol_pp.sml | 103 fun colour thing col = 104 String.concat["<font color=\"",col,"\">",thing,"</font>"];
|
/seL4-l4v-master/HOL4/examples/acl2/examples/ |
H A D | testEncode.sml | 472 (member key (NODE col k left right) = if key < k then member key left else if k < key then member key right else T)`; 544 (balance col x left right 545 = NODE col x left right)`;
|
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/ |
H A D | ArrayVector.sml | 333 col : int, 351 fun mapRegion{base, row, col, nrows, ncols} = 352 {base = base, row = FixedInt.fromLarge row, col = FixedInt.fromLarge col,
|
/seL4-l4v-master/graph-refine/ |
H A D | problem.py | 573 def get_graph_font (n, col): 575 if col: 576 font = font + ', color=%s, fontcolor=%s' % (col, col)
|
H A D | loop_bounds.py | 866 col = gnuplot_colours[num] 882 bdata, col, time))
|
/seL4-l4v-master/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sml | 677 val col = List.map hd rows value 680 alignColumn align col cols
|
/seL4-l4v-master/l4v/isabelle/src/Tools/Metis/src/ |
H A D | Useful.sml | 677 val col = List.map hd rows value 680 alignColumn align col cols
|
/seL4-l4v-master/HOL4/src/datatype/ |
H A D | Datatype.sml | 373 { base = a, row = 0, col = 0, nrows = NONE, ncols = NONE} 412 {base = a, col = j, row = 0, nrows = NONE, ncols = SOME 1}
|
/seL4-l4v-master/HOL4/src/quantHeuristics/ |
H A D | quantHeuristicsLibBase.sml | 1220 fun col (L1,L2,L3) = function 1226 val f_icL = col (GUESS_RULES_FORALL, GUESS_RULES_FORALL___NEW_FV, GUESS_RULES_FORALL___NEW_FV_1); 1227 val e_icL = col (GUESS_RULES_EXISTS, GUESS_RULES_EXISTS___NEW_FV, GUESS_RULES_EXISTS___NEW_FV_1); 1228 val u_icL = col (GUESS_RULES_EXISTS_UNIQUE, TRUTH, TRUTH);
|