Searched refs:chars (Results 26 - 44 of 44) sorted by relevance
12
/seL4-l4v-10.1.1/graph-refine/graph-to-graph/ |
H A D | pydot.py | 172 chars = [ord(c) for c in s if ord(c)>0x7f or ord(c)==0] 173 if chars and not id_re_dbl_quoted.match(s) and not id_re_html.match(s):
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | xwindows.cpp | 382 string[index].chars[0] = UNTAGGED(s); 2566 image.data = data->chars; 3882 CopyString(taskData, obj->Get(0), &A->chars, 0); 3884 A->nchars = strlen(A->chars); 3898 A->chars = L; 5236 XTextExtents(fs,s->chars,s->length,&direction,&ascent,&descent,&overall); 5275 return Make_int(XTextWidth(fs,s->chars,s->length)); 5449 value = (uchar *) s->chars; 7720 GetString(P4)->chars, 7818 GetString(P4)->chars, [all...] |
H A D | windows_specific.cpp | 1261 (CONST BYTE *)ps->chars, (DWORD)ps->length);
|
H A D | unix_specific.cpp | 1525 memcpy(tios.c_cc, ccvs->chars, NCCS);
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Base.sml | 924 (* Make it a struct of chars *) 995 val inputLength = Word8Vector.length w div 2 (* Number of unicode chars *) 1013 (* The lengths returned by MultiByteToWideChar are the number of Unicode chars *)
|
H A D | Font.sml | 480 (* The lpnFit argument controls whether we get the maximum no. of chars. *)
|
/seL4-l4v-10.1.1/HOL4/src/string/ |
H A D | stringScript.sml | 136 equality of chars.
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/M1/ |
H A D | sexp.sml | 866 let val chars = explode s value 868 if not(null chars) andalso hd chars = #"-" 869 then implode(#"~" :: tl chars) 2092 fun drop_until_close [] = [] (* drop chars until comment closes *)
|
H A D | hol_defaxiomsScript.sml | 1825 |- make_fmt_bindings chars forms = 1828 [csym "CONS"; List [csym "CONS"; car chars; car forms]; 1829 make_fmt_bindings (cdr chars) (cdr forms)]),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/examples/acl2-hol-ltl-paper-example/ |
H A D | sexp.sml | 792 let val chars = explode s value 794 if not(null chars) andalso hd chars = #"-" 795 then implode(#"~" :: tl chars) 2014 fun drop_until_close [] = [] (* drop chars until comment closes *)
|
H A D | hol_defaxiomsScript.sml | 1824 |- make_fmt_bindings chars forms = 1827 [csym "CONS"; List [csym "CONS"; car chars; car forms]; 1828 make_fmt_bindings (cdr chars) (cdr forms)]),
|
/seL4-l4v-10.1.1/HOL4/examples/acl2/ml/ |
H A D | sexp.sml | 792 let val chars = explode s value 794 if not(null chars) andalso hd chars = #"-" 795 then implode(#"~" :: tl chars) 2014 fun drop_until_close [] = [] (* drop chars until comment closes *)
|
H A D | acl2encodeLib.sml | 260 (* Add the type-translation theorems for chars *)
|
H A D | hol_defaxiomsScript.sml | 1820 |- make_fmt_bindings chars forms = 1823 [csym "CONS"; List [csym "CONS"; car chars; car forms]; 1824 make_fmt_bindings (cdr chars) (cdr forms)]),
|
/seL4-l4v-10.1.1/HOL4/examples/formal-languages/regular/ |
H A D | test.ml | 128 (* Testing number specs of chars in charsets. Example from David Hardin *)
|
H A D | regexp_compilerScript.sml | 2129 (* Eliminate check that all chars in string are in alphabet. This can be *)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | texinfo.tex | 1126 % backslashes, and other special chars. 1283 % Also escape PDF chars in the display string. 2423 % Set sfcode to normal for the chars that usually have another value. 2632 % we put a little stretch before and after the breakable chars, to help 2654 % characters, but some people like to break before the special chars, so 4620 % and is used in the definitions of the active chars like <, >, |, etc. 7087 % distinguishable. Prevent hyphenation at `-' chars. 7112 % Make control sequences which act like normal parenthesis chars. 7682 \let\hash=##% convert placeholders to macro parameter chars 7952 \txiescapepdf\pdfxrefdest % escape PDF special chars [all...] |
/seL4-l4v-10.1.1/HOL4/Manual/Interaction/ |
H A D | HOL-interaction.tex | 64 (setq electric-indent-chars '()))
|
/seL4-l4v-10.1.1/HOL4/examples/theorem-prover/lisp-runtime/implementation/ |
H A D | lisp_symbolsScript.sml | 603 (* read space chars -- test for end of file *)
|
Completed in 324 milliseconds
12