Searched refs:col (Results 1 - 25 of 30) sorted by relevance

12

/seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java10 public Directory(TreeNode nd,String n,Vector col) { argument
11 collapsed=col;
/seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/
H A DDirectory.java10 public Directory(TreeNode nd,String n,Vector col) { argument
11 collapsed=col;
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_enum.c17 enum hue col; local
19 col = claret;
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DArray2.sml40 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 DArray2Signature.sml27 col : int,
H A DIntArray2.sml31 col : int,
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/context-free/
H A DlocationScript.sml6 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 DgrammarLib.sml107 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-10.1.1/HOL4/src/prekernel/
H A Dlocn.sml13 = "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-10.1.1/HOL4/src/pattern_matches/
H A DconstrFamiliesLib.sml512 (* how many rows of the col are not constructor applications
573 fun measure_constructorFamily (cf : constructorFamily) col = let
574 fun list_count p col =
575 foldl (fn (r, c) => if (p r) then c+1 else c) 0 col
596 end handle HOL_ERR _ => false) col)
602 colstat_missed_rows = list_count row_is_missed col,
636 fun lookup_constructorFamily force_exh (db : pmatch_compile_db) col = let
637 val _ = if (List.null col) then (failwith "constructorFamiliesLib" "lookup_constructorFamilies: null col") else ()
639 val _ = if List.all (fn (vs, c) => is_var c andalso Lib.mem c vs) col the
[all...]
H A DpatternMatchesLib.sml993 fun pair_get_col col v = let
995 val (vs', c_v) = replace_element vs col []
1029 val col = 0
1032 fun PMATCH_REMOVE_COL_AUX rc_arg col t = let
1034 val (v', c_v) = pair_get_col col v
1048 val (pt0', pv) = pair_get_col col pt
1074 val _ = if List.all (fn x => List.exists (aconv (#redex x)) vars) sub then () else failwith "not a constant-col after all"
1157 val col = 0
1161 fun PMATCH_REMOVE_FUN_AUX rc_arg col t = let
1166 val c_args = List.nth(vs, col)
[all...]
H A DpatternMatchesSyntax.sml477 val col = map hd rows value
480 get_cols ((v, col)::acc) vs' rows'
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DDoc2Txt.sml16 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-10.1.1/HOL4/examples/acl2/lisp/
H A Da2ml.lisp226 (col state)
229 (declare (ignore col))
H A Dbook-essence.lisp351 (t (mv-let (col state)
355 (declare (ignore col))
/seL4-l4v-10.1.1/HOL4/src/parse/
H A DHol_pp.sml100 fun colour thing col =
101 String.concat["<font color=\"",col,"\">",thing,"</font>"];
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/
H A Dttt.sml44 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-10.1.1/HOL4/examples/acl2/examples/
H A DtestEncode.sml472 (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-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DArrayVector.sml333 col : int,
351 fun mapRegion{base, row, col, nrows, ncols} =
352 {base = base, row = FixedInt.fromLarge row, col = FixedInt.fromLarge col,
/seL4-l4v-10.1.1/graph-refine/
H A Dproblem.py575 def get_graph_font (n, col):
577 if col:
578 font = font + ', color=%s, fontcolor=%s' % (col, col)
H A Dloop_bounds.py860 col = gnuplot_colours[num]
876 bdata, col, time))
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/
H A DUseful.sml677 val col = List.map hd rows value
680 alignColumn align col cols
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Metis/src/
H A DUseful.sml677 val col = List.map hd rows value
680 alignColumn align col cols
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsLibBase.sml1213 fun col (L1,L2,L3) = function
1219 val f_icL = col (GUESS_RULES_FORALL, GUESS_RULES_FORALL___NEW_FV, GUESS_RULES_FORALL___NEW_FV_1);
1220 val e_icL = col (GUESS_RULES_EXISTS, GUESS_RULES_EXISTS___NEW_FV, GUESS_RULES_EXISTS___NEW_FV_1);
1221 val u_icL = col (GUESS_RULES_EXISTS_UNIQUE, TRUTH, TRUTH);
/seL4-l4v-10.1.1/HOL4/src/datatype/
H A DDatatype.sml373 { base = a, row = 0, col = 0, nrows = NONE, ncols = NONE}
412 {base = a, col = j, row = 0, nrows = NONE, ncols = SOME 1}

Completed in 202 milliseconds

12