| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/ |
| H A D | find.sl | 83 %. test if exact string prefix
88 (when (greaterp l1 l2)
93 (when (greaterp (setq l (add1 l)) l1)
98 %. test if exact string prefix
102 (when (greaterp l1 l2)
121 (cond ((greaterp p1 p2) (return (if (greaterp s1 s2)
124 ((greaterp s1 s2) (return nil)))
138 (when (greaterp p1 p2)
149 (not
157 (bldmsg " %% %r not known in StringMatch" (int2id c))))))
|
| H A D | strings.sl | 152 (defun string-greaterp (s1 s2)
156 (defun string-not-greaterp (s1 s2)
159 (string-not-greaterp-aux s1 s2 (string-length s1) (string-length s2) 0))
161 (defun string-not-greaterp-aux (s1 s2 len1 len2 i)
165 (string-not-greaterp-aux s1 s2 len1 len2 (add1 i)))
171 (defun string-not-lessp (s1 s2)
172 (string-not-greaterp s2 s1))
175 (defun string-not-equal (s1 s2)
180 (string-not-equal-aux s1 s2 len1 len2 0)
181 (string-not-equal-aux s2 s1 len2 len1 0))))
[all …]
|
| H A D | chars.sl | 46 % Replaced > and < by greaterp and lessp resp.
61 % char-equal, lessp, greaterp to be correct.
96 (not (char< c #\Space))
99 ;;;; STRING-CHARP - a character that can be an element of a string
100 (defun string-charp (c)
113 (not (char< c #\A))
119 (not (char< c #\\a))
128 (not (char< c #\0))
129 (not (char> c #\9)))
150 (greaterp (char-int c1) (char-int c2)))
[all …]
|
| H A D | rprint.sl | 68 (put 'not 'op '(nil 5))
80 (put 'greaterp 'op '((12 12)))
148 (or (not (greaterp (car x) (cadr v)))
149 (not (greaterp (cadr x) (car v)))))
163 (and (greaterp (car v) 0)
166 string))))))
194 (or (not (greaterp (car x) (cadr v)))
195 (not (greaterp (cadr x) (car v)))))
637 (greaterp (difference (difference rmar n) 6)
666 (while (greaterp n 0)
[all …]
|
| /dports/editors/xvile/vile-9.8v/filters/ |
| H A D | lisp.key | 113 assoc-if-not
126 bit-not
184 char-greaterp
189 char-not-greaterp
260 count-if-not
322 find-if-not
479 not
651 string-greaterp
654 string-not-equal
655 string-not-greaterp
[all …]
|
| /dports/editors/vile/vile-9.8v/filters/ |
| H A D | lisp.key | 113 assoc-if-not
126 bit-not
184 char-greaterp
189 char-not-greaterp
260 count-if-not
322 find-if-not
479 not
651 string-greaterp
654 string-not-equal
655 string-not-greaterp
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/foreign/z3/ |
| H A D | z3.red | 80 % Format: (reduce function name as identifier, C function name as string,
83 z3_interface('z3_context_to_string, "Z3_context_to_string", '(int64), 'string, 'z3_redz3!*);
87 z3_interface('z3_mk_app, "redz3_mkAppWithArgs", '(int64 string), 'int64, 'z3_redz3!*);
92 z3_interface('z3_mk_int_var, "redz3_mkIntVar", '(int64 string), 'int64, 'z3_redz3!*);
95 z3_interface('z3_parse_smtlib2_string, "redz3_parse_smtlib2_string", '(int64 string), 'int64, 'z3_r…
125 % TODO: Check if symbol!-name returns a string of length at most 256.
190 if op member '(greaterp "greaterp" ">") then <<
191 w := z3_mk_app(ctx, "greaterp");
211 if op member '(not "not") then <<
212 w := z3_mk_app(ctx, "not");
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/win32/ |
| H A D | disassemble.sl | 47 (cond ((not (posintp x)) nil)
264 (when (not i)(return (cons lth nil)))
306 (when (greaterp w 127)(setq w (difference w 256)))
358 (if (greaterp b 127)
421 (return 'string))
446 ((eq regnr* 2#010) 'not)
474 (when (not (getd fkt)) (error 99 "not compiled"))
496 (cond ((not (assoc jmem labels))
501 (cond ((not bend ) (go loop1))
506 (when (not bend) (setq bend base))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/freeBSD/ |
| H A D | disassemble.sl | 44 (cond ((not (posintp x)) nil)
264 (when (not i)(return (cons lth nil)))
306 (when (greaterp w 127)(setq w (difference w 256)))
358 (if (greaterp b 127)
421 (return 'string))
446 ((eq regnr* 2#010) 'not)
474 (when (not (getd fkt)) (error 99 "not compiled"))
496 (cond ((not (assoc jmem labels))
501 (cond ((not bend ) (go loop1))
506 (when (not bend) (setq bend base))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/linux/ |
| H A D | disassemble.sl | 44 (cond ((not (posintp x)) nil)
264 (when (not i)(return (cons lth nil)))
306 (when (greaterp w 127)(setq w (difference w 256)))
358 (if (greaterp b 127)
421 (return 'string))
446 ((eq regnr* 2#010) 'not)
474 (when (not (getd fkt)) (error 99 "not compiled"))
496 (cond ((not (assoc jmem labels))
501 (cond ((not bend ) (go loop1))
506 (when (not bend) (setq bend base))
[all …]
|
| /dports/lang/clisp/clisp-df3b9f6fdcff22832898e89a989eb499c0f842ed/tests/ |
| H A D | symbols.tst | 63 defconstant char-equal complexp defgeneric char-greaterp
68 define-setf-expander char-not-greaterp cond define-symbol-macro
173 read-from-string princ read-line princ-to-string
175 print-not-readable reader-error print-not-readable-object
211 string-greaterp symbol-plist string-left-trim symbol-value
212 string-lessp symbolp string-not-equal synonym-stream
213 string-not-greaterp synonym-stream-symbol string-not-lessp t
214 string-right-trim tagbody string-stream tailp string-trim tan
215 string-upcase tanh string/= tenth string< terpri string<= the
216 string= third string> throw string>= time stringp trace
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macintel/ |
| H A D | disassemble.sl | 44 (cond ((not (posintp x)) nil)
257 (when (not i)(return (cons lth nil)))
299 (when (greaterp w 127)(setq w (difference w 256)))
407 (return 'string))
447 (when (not (getd fkt)) (error 99 "not compiled"))
469 (cond ((not (assoc jmem labels))
474 (cond ((not bend ) (go loop1))
475 ((greaterp base bend) (go continue1))
479 (when (not bend) (setq bend base))
558 (when (or (not (numberp bend)) (leq base bend))(go loop))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/manual/ |
| H A D | 08-strs.tex | 75 If the type of the argument to char is not correct then the
124 macro it is not applied.
205 \de{char-greaterp}{(char-greaterp C1:character C2:character): boolean}{expr}
274 contents of the string are not initialized.
370 functions in it that are not Common LISP functions.
414 \DE{string-greaterp}{(string-greaterp S1:string S2:string): extra-boolean}
419 \DE{string-not-greaterp}
420 {(string-not-greaterp S1:string S2:string): extra-boolean}{expr}
424 \de{string-not-lessp}{(string-not-lessp S1:string S2:string): extra-boolean }
429 \de{string-not-equal}
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/packages/arith/ |
| H A D | bfelem.red | 74 if not allfixp l then bflerrmsg 'read!:lnum
139 if not fixp k or k <= 0 then bflerrmsg '!:pi
143 % The original version of this code used the string "NOT FOUND" as the
146 % the string using up space, and secondly it relied on NEQ being the
147 % converse of EQUAL not EQ and that that then checked string contents.
203 if not fixp k or k <= 0 then bflerrmsg '!:e
655 while greaterp!:(tm, dcut) do
690 while greaterp!:(z, eee) do
694 while greaterp!:(z, es) do
852 if greaterp!:(abs!: x, bfone!*) or
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/AMD64/ |
| H A D | disassemble.sl | 50 (cond ((not (posintp x)) nil)
148 %% not present in 64bit mode
343 (when (not i)(return (cons lth nil)))
489 (if (greaterp b 127)
521 (if (greaterp offset 127)
792 (setq xchg (not (eq xchg *gassyntax)))
845 (return 'string))
868 ((eq regnr* 2#010) 'not)
1038 (when (not (getd fkt)) (error 99 "not compiled"))
1060 (cond ((not (assoc jmem labels))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/freeBSD64/ |
| H A D | disassemble.sl | 50 (cond ((not (posintp x)) nil)
148 %% not present in 64bit mode
343 (when (not i)(return (cons lth nil)))
489 (if (greaterp b 127)
521 (if (greaterp offset 127)
792 (setq xchg (not (eq xchg *gassyntax)))
845 (return 'string))
868 ((eq regnr* 2#010) 'not)
1038 (when (not (getd fkt)) (error 99 "not compiled"))
1060 (cond ((not (assoc jmem labels))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/macintel64/ |
| H A D | disassemble.sl | 49 (cond ((not (posintp x)) nil)
147 %% not present in 64bit mode
342 (when (not i)(return (cons lth nil)))
489 (if (greaterp b 127)
521 (if (greaterp offset 127)
792 (setq xchg (not (eq xchg *gassyntax)))
845 (return 'string))
868 ((eq regnr* 2#010) 'not)
1038 (when (not (getd fkt)) (error 99 "not compiled"))
1060 (cond ((not (assoc jmem labels))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/util/mingw-w64/ |
| H A D | disassemble.sl | 49 (cond ((not (posintp x)) nil)
147 %% not present in 64bit mode
342 (when (not i)(return (cons lth nil)))
489 (if (greaterp b 127)
521 (if (greaterp offset 127)
792 (setq xchg (not (eq xchg *gassyntax)))
845 (return 'string))
868 ((eq regnr* 2#010) 'not)
1038 (when (not (getd fkt)) (error 99 "not compiled"))
1060 (cond ((not (assoc jmem labels))
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/xr/bin/ |
| H A D | xr.red | 26 remd 'compute!-prompt!-string$
28 symbolic procedure compute!-prompt!-string (count,level);
33 if greaterp (level,0) then bldmsg(" (%w)",level) else "",
37 if or (greaterp (level,0),!*package!*) then " >" else ">",
86 then << if (not lx) then outputhandler!* := nil >>
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/ |
| H A D | string-gen.sl | 4 % Title: Complement to GenSym, makes a string instead of ID
44 % Added copystring to setq of stringgensym* below to make sure the string
45 % in allocated in heap, not bps.
58 % Make sure that the string ends up in heap, not bps, so we can unexec over it.
66 %. Generate unique string
72 (cond ((greaterp n 0) (if (lessp (setq ch (indx stringgensym* n))
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/comp/ |
| H A D | p1-decls.sl | 124 % PROGN is not in the list because it is an FEXPR and cannot be applied.
135 % string-right-trim string-to-list string-to-vector string2list
142 char-downcase char-equal char-font char-greaterp char-int char-lessp
149 max2 member memq min2 minus minusp mkquote mod ne neq not nth null
152 string-not-greaterp string-not-lessp string-repeat
153 string-search string-search-equal string-search-from
154 string-search-from-equal string-size
155 strting-trim string-upcase string-upper-bound
156 string< string<= string<> string= string> string>=
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macg5/ |
| H A D | sys-extras.sl | 66 % Changed call to byte in importforeignstring to getbyte since byte not
104 ((greaterp breaklevel* 0)
167 % Copy and tag a Lisp string, given a C string pointer.
186 (de init-file-string (program-name)
190 (de user-homedir-string ()
193 (de anyuser-homedir-string (username)
198 (nonstringerror username 'anyuser-homedir-string)))
208 (cond ((not (stringp var))
210 ((not (stringp val))
275 % Keep going if not found there.
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/ibmrs/ |
| H A D | sys-extras.sl | 66 % Changed call to byte in importforeignstring to getbyte since byte not
105 ((greaterp breaklevel* 0)
168 % Copy and tag a Lisp string, given a C string pointer.
187 (de init-file-string (program-name)
191 (de user-homedir-string ()
194 (de anyuser-homedir-string (username)
199 (nonstringerror username 'anyuser-homedir-string)))
209 (cond ((not (stringp var))
211 ((not (stringp val))
276 % Keep going if not found there.
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macg4/ |
| H A D | sys-extras.sl | 66 % Changed call to byte in importforeignstring to getbyte since byte not
104 ((greaterp breaklevel* 0)
168 % Copy and tag a Lisp string, given a C string pointer.
187 (de init-file-string (program-name)
191 (de user-homedir-string ()
194 (de anyuser-homedir-string (username)
199 (nonstringerror username 'anyuser-homedir-string)))
209 (cond ((not (stringp var))
211 ((not (stringp val))
276 % Keep going if not found there.
[all …]
|
| /dports/math/reduce/Reduce-svn5758-src/psl/dist/nonkernel/macintel/ |
| H A D | sys-extras.sl | 84 % Changed call to byte in importforeignstring to getbyte since byte not
120 ((greaterp breaklevel* 0)
174 (cond ((not (wlessp x (inf nextbps))) % Assures X points to real memory
203 % Copy and tag a Lisp string, given a C string pointer.
218 (de init-file-string (program-name)
222 (de user-homedir-string ()
225 (de anyuser-homedir-string (username)
240 (cond ((not (stringp var))
242 ((not (stringp val))
305 % Keep going if not found there.
[all …]
|