Home
last modified time | relevance | path

Searched refs:Num (Results 1 – 25 of 6638) sorted by relevance

12345678910>>...266

/dports/lang/gcc11-devel/gcc-11-20211009/gcc/ada/libgnat/
H A Da-tifiio__128.adb215 (Num'Small_Numerator < Num'Small_Denominator
218 (Num'Small_Denominator < Num'Small_Numerator
240 (Num'Small_Numerator < Num'Small_Denominator
243 (Num'Small_Denominator < Num'Small_Numerator
265 (Num'Small_Numerator < Num'Small_Denominator
268 (Num'Small_Denominator < Num'Small_Numerator
378 Item : Num;
386 -Num'Small_Numerator, -Num'Small_Denominator,
390 -Num'Small_Numerator, -Num'Small_Denominator,
403 (Item : Num;
[all …]
H A Da-wtfiio__128.adb93 (Num'Small_Numerator < Num'Small_Denominator
96 (Num'Small_Denominator < Num'Small_Numerator
118 (Num'Small_Numerator < Num'Small_Denominator
121 (Num'Small_Denominator < Num'Small_Numerator
143 (Num'Small_Numerator < Num'Small_Denominator
146 (Num'Small_Denominator < Num'Small_Numerator
262 Item : Num;
270 -Num'Small_Numerator, -Num'Small_Denominator,
274 -Num'Small_Numerator, -Num'Small_Denominator,
287 (Item : Num;
[all …]
H A Da-ztfiio__128.adb94 (Num'Small_Numerator < Num'Small_Denominator
97 (Num'Small_Denominator < Num'Small_Numerator
119 (Num'Small_Numerator < Num'Small_Denominator
122 (Num'Small_Denominator < Num'Small_Numerator
144 (Num'Small_Numerator < Num'Small_Denominator
147 (Num'Small_Denominator < Num'Small_Numerator
263 Item : Num;
271 -Num'Small_Numerator, -Num'Small_Denominator,
275 -Num'Small_Numerator, -Num'Small_Denominator,
288 (Item : Num;
[all …]
H A Da-tifiio.adb208 (Num'Small_Numerator < Num'Small_Denominator
211 (Num'Small_Denominator < Num'Small_Numerator
233 (Num'Small_Numerator < Num'Small_Denominator
236 (Num'Small_Denominator < Num'Small_Numerator
333 Item : Num;
341 -Num'Small_Numerator, -Num'Small_Denominator,
345 -Num'Small_Numerator, -Num'Small_Denominator,
354 (Item : Num;
365 Item : Num;
372 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-ztfiio.adb86 (Num'Small_Numerator < Num'Small_Denominator
89 (Num'Small_Denominator < Num'Small_Numerator
111 (Num'Small_Numerator < Num'Small_Denominator
114 (Num'Small_Denominator < Num'Small_Numerator
217 Item : Num;
225 -Num'Small_Numerator, -Num'Small_Denominator,
229 -Num'Small_Numerator, -Num'Small_Denominator,
238 (Item : Num;
249 Item : Num;
258 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-wtfiio.adb86 (Num'Small_Numerator < Num'Small_Denominator
89 (Num'Small_Denominator < Num'Small_Numerator
111 (Num'Small_Numerator < Num'Small_Denominator
114 (Num'Small_Denominator < Num'Small_Numerator
217 Item : Num;
225 -Num'Small_Numerator, -Num'Small_Denominator,
229 -Num'Small_Numerator, -Num'Small_Denominator,
238 (Item : Num;
249 Item : Num;
258 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/ada/libgnat/
H A Da-tifiio__128.adb216 (Num'Small_Numerator < Num'Small_Denominator
219 (Num'Small_Denominator < Num'Small_Numerator
241 (Num'Small_Numerator < Num'Small_Denominator
244 (Num'Small_Denominator < Num'Small_Numerator
266 (Num'Small_Numerator < Num'Small_Denominator
269 (Num'Small_Denominator < Num'Small_Numerator
379 Item : Num;
387 -Num'Small_Numerator, -Num'Small_Denominator,
391 -Num'Small_Numerator, -Num'Small_Denominator,
403 (Item : Num;
[all …]
H A Da-wtfiio__128.adb95 (Num'Small_Numerator < Num'Small_Denominator
98 (Num'Small_Denominator < Num'Small_Numerator
120 (Num'Small_Numerator < Num'Small_Denominator
123 (Num'Small_Denominator < Num'Small_Numerator
145 (Num'Small_Numerator < Num'Small_Denominator
148 (Num'Small_Denominator < Num'Small_Numerator
264 Item : Num;
272 -Num'Small_Numerator, -Num'Small_Denominator,
276 -Num'Small_Numerator, -Num'Small_Denominator,
288 (Item : Num;
[all …]
H A Da-ztfiio__128.adb96 (Num'Small_Numerator < Num'Small_Denominator
99 (Num'Small_Denominator < Num'Small_Numerator
121 (Num'Small_Numerator < Num'Small_Denominator
124 (Num'Small_Denominator < Num'Small_Numerator
146 (Num'Small_Numerator < Num'Small_Denominator
149 (Num'Small_Denominator < Num'Small_Numerator
265 Item : Num;
273 -Num'Small_Numerator, -Num'Small_Denominator,
277 -Num'Small_Numerator, -Num'Small_Denominator,
289 (Item : Num;
[all …]
H A Da-tifiio.adb209 (Num'Small_Numerator < Num'Small_Denominator
212 (Num'Small_Denominator < Num'Small_Numerator
234 (Num'Small_Numerator < Num'Small_Denominator
237 (Num'Small_Denominator < Num'Small_Numerator
334 Item : Num;
342 -Num'Small_Numerator, -Num'Small_Denominator,
346 -Num'Small_Numerator, -Num'Small_Denominator,
354 (Item : Num;
365 Item : Num;
372 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-wtfiio.adb88 (Num'Small_Numerator < Num'Small_Denominator
91 (Num'Small_Denominator < Num'Small_Numerator
113 (Num'Small_Numerator < Num'Small_Denominator
116 (Num'Small_Denominator < Num'Small_Numerator
219 Item : Num;
227 -Num'Small_Numerator, -Num'Small_Denominator,
231 -Num'Small_Numerator, -Num'Small_Denominator,
239 (Item : Num;
250 Item : Num;
259 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-ztfiio.adb88 (Num'Small_Numerator < Num'Small_Denominator
91 (Num'Small_Denominator < Num'Small_Numerator
113 (Num'Small_Numerator < Num'Small_Denominator
116 (Num'Small_Denominator < Num'Small_Numerator
219 Item : Num;
227 -Num'Small_Numerator, -Num'Small_Denominator,
231 -Num'Small_Numerator, -Num'Small_Denominator,
239 (Item : Num;
250 Item : Num;
259 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
/dports/misc/cxx_atomics_pic/gcc-11.2.0/gcc/ada/libgnat/
H A Da-wtfiio__128.adb93 (Num'Small_Numerator < Num'Small_Denominator
96 (Num'Small_Denominator < Num'Small_Numerator
118 (Num'Small_Numerator < Num'Small_Denominator
121 (Num'Small_Denominator < Num'Small_Numerator
143 (Num'Small_Numerator < Num'Small_Denominator
146 (Num'Small_Denominator < Num'Small_Numerator
262 Item : Num;
270 -Num'Small_Numerator, -Num'Small_Denominator,
274 -Num'Small_Numerator, -Num'Small_Denominator,
287 (Item : Num;
[all …]
H A Da-ztfiio__128.adb94 (Num'Small_Numerator < Num'Small_Denominator
97 (Num'Small_Denominator < Num'Small_Numerator
119 (Num'Small_Numerator < Num'Small_Denominator
122 (Num'Small_Denominator < Num'Small_Numerator
144 (Num'Small_Numerator < Num'Small_Denominator
147 (Num'Small_Denominator < Num'Small_Numerator
263 Item : Num;
271 -Num'Small_Numerator, -Num'Small_Denominator,
275 -Num'Small_Numerator, -Num'Small_Denominator,
288 (Item : Num;
[all …]
H A Da-tifiio__128.adb215 (Num'Small_Numerator < Num'Small_Denominator
218 (Num'Small_Denominator < Num'Small_Numerator
240 (Num'Small_Numerator < Num'Small_Denominator
243 (Num'Small_Denominator < Num'Small_Numerator
265 (Num'Small_Numerator < Num'Small_Denominator
268 (Num'Small_Denominator < Num'Small_Numerator
378 Item : Num;
386 -Num'Small_Numerator, -Num'Small_Denominator,
390 -Num'Small_Numerator, -Num'Small_Denominator,
403 (Item : Num;
[all …]
H A Da-tifiio.adb208 (Num'Small_Numerator < Num'Small_Denominator
211 (Num'Small_Denominator < Num'Small_Numerator
233 (Num'Small_Numerator < Num'Small_Denominator
236 (Num'Small_Denominator < Num'Small_Numerator
333 Item : Num;
341 -Num'Small_Numerator, -Num'Small_Denominator,
345 -Num'Small_Numerator, -Num'Small_Denominator,
354 (Item : Num;
365 Item : Num;
372 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-wtfiio.adb86 (Num'Small_Numerator < Num'Small_Denominator
89 (Num'Small_Denominator < Num'Small_Numerator
111 (Num'Small_Numerator < Num'Small_Denominator
114 (Num'Small_Denominator < Num'Small_Numerator
217 Item : Num;
225 -Num'Small_Numerator, -Num'Small_Denominator,
229 -Num'Small_Numerator, -Num'Small_Denominator,
238 (Item : Num;
249 Item : Num;
258 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-ztfiio.adb86 (Num'Small_Numerator < Num'Small_Denominator
89 (Num'Small_Denominator < Num'Small_Numerator
111 (Num'Small_Numerator < Num'Small_Denominator
114 (Num'Small_Denominator < Num'Small_Numerator
217 Item : Num;
225 -Num'Small_Numerator, -Num'Small_Denominator,
229 -Num'Small_Numerator, -Num'Small_Denominator,
238 (Item : Num;
249 Item : Num;
258 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
/dports/lang/gcc11/gcc-11.2.0/gcc/ada/libgnat/
H A Da-ztfiio__128.adb94 (Num'Small_Numerator < Num'Small_Denominator
97 (Num'Small_Denominator < Num'Small_Numerator
119 (Num'Small_Numerator < Num'Small_Denominator
122 (Num'Small_Denominator < Num'Small_Numerator
144 (Num'Small_Numerator < Num'Small_Denominator
147 (Num'Small_Denominator < Num'Small_Numerator
263 Item : Num;
271 -Num'Small_Numerator, -Num'Small_Denominator,
275 -Num'Small_Numerator, -Num'Small_Denominator,
288 (Item : Num;
[all …]
H A Da-tifiio__128.adb215 (Num'Small_Numerator < Num'Small_Denominator
218 (Num'Small_Denominator < Num'Small_Numerator
240 (Num'Small_Numerator < Num'Small_Denominator
243 (Num'Small_Denominator < Num'Small_Numerator
265 (Num'Small_Numerator < Num'Small_Denominator
268 (Num'Small_Denominator < Num'Small_Numerator
378 Item : Num;
386 -Num'Small_Numerator, -Num'Small_Denominator,
390 -Num'Small_Numerator, -Num'Small_Denominator,
403 (Item : Num;
[all …]
H A Da-wtfiio__128.adb93 (Num'Small_Numerator < Num'Small_Denominator
96 (Num'Small_Denominator < Num'Small_Numerator
118 (Num'Small_Numerator < Num'Small_Denominator
121 (Num'Small_Denominator < Num'Small_Numerator
143 (Num'Small_Numerator < Num'Small_Denominator
146 (Num'Small_Denominator < Num'Small_Numerator
262 Item : Num;
270 -Num'Small_Numerator, -Num'Small_Denominator,
274 -Num'Small_Numerator, -Num'Small_Denominator,
287 (Item : Num;
[all …]
H A Da-tifiio.adb208 (Num'Small_Numerator < Num'Small_Denominator
211 (Num'Small_Denominator < Num'Small_Numerator
233 (Num'Small_Numerator < Num'Small_Denominator
236 (Num'Small_Denominator < Num'Small_Numerator
333 Item : Num;
341 -Num'Small_Numerator, -Num'Small_Denominator,
345 -Num'Small_Numerator, -Num'Small_Denominator,
354 (Item : Num;
365 Item : Num;
372 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-wtfiio.adb86 (Num'Small_Numerator < Num'Small_Denominator
89 (Num'Small_Denominator < Num'Small_Numerator
111 (Num'Small_Numerator < Num'Small_Denominator
114 (Num'Small_Denominator < Num'Small_Numerator
217 Item : Num;
225 -Num'Small_Numerator, -Num'Small_Denominator,
229 -Num'Small_Numerator, -Num'Small_Denominator,
238 (Item : Num;
249 Item : Num;
258 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
H A Da-ztfiio.adb86 (Num'Small_Numerator < Num'Small_Denominator
89 (Num'Small_Denominator < Num'Small_Numerator
111 (Num'Small_Numerator < Num'Small_Denominator
114 (Num'Small_Denominator < Num'Small_Numerator
217 Item : Num;
225 -Num'Small_Numerator, -Num'Small_Denominator,
229 -Num'Small_Numerator, -Num'Small_Denominator,
238 (Item : Num;
249 Item : Num;
258 -Num'Small_Numerator, -Num'Small_Denominator,
[all …]
/dports/lang/racket/racket-8.3/share/pkgs/redex-benchmark/redex/benchmark/models/delim-cont/
H A Dtest.rkt22 ((λ (pt : (Prompt Num Num))
27 (make-prompt-tag Num Num))
39 Num Num)
394 (term (let ([(var:do-prompt : (→ (→ (Prompt (→ Num Num) Num) Num) Num))
403 (λ (var:f : (→ (Prompt (→ Num Num) Num) Num))
417 (term (let ([(var:do-prompt : (→ (→ (Prompt (→ Num Num) Num) Num) Num))
426 (λ (var:f : (→ (Prompt (→ Num Num) Num) Num))
433 (let ([(var:do-prompt-2 : (→ (→ (Prompt (→ Num Num) Num) Num) Num))
440 (λ (var:f : (→ (Prompt (→ Num Num) Num) Num))
556 (→ Num (→ Num Num))
[all …]

12345678910>>...266