Lines Matching refs:Uint
50 type Uint is private; type
53 No_Uint : constant Uint;
56 Uint_0 : constant Uint;
57 Uint_1 : constant Uint;
58 Uint_2 : constant Uint;
59 Uint_3 : constant Uint;
60 Uint_4 : constant Uint;
61 Uint_5 : constant Uint;
62 Uint_6 : constant Uint;
63 Uint_7 : constant Uint;
64 Uint_8 : constant Uint;
65 Uint_9 : constant Uint;
66 Uint_10 : constant Uint;
67 Uint_12 : constant Uint;
68 Uint_15 : constant Uint;
69 Uint_16 : constant Uint;
70 Uint_24 : constant Uint;
71 Uint_32 : constant Uint;
72 Uint_63 : constant Uint;
73 Uint_64 : constant Uint;
74 Uint_80 : constant Uint;
75 Uint_128 : constant Uint;
77 Uint_Minus_1 : constant Uint;
78 Uint_Minus_2 : constant Uint;
79 Uint_Minus_3 : constant Uint;
80 Uint_Minus_4 : constant Uint;
81 Uint_Minus_5 : constant Uint;
82 Uint_Minus_6 : constant Uint;
83 Uint_Minus_7 : constant Uint;
84 Uint_Minus_8 : constant Uint;
85 Uint_Minus_9 : constant Uint;
86 Uint_Minus_12 : constant Uint;
87 Uint_Minus_36 : constant Uint;
88 Uint_Minus_63 : constant Uint;
89 Uint_Minus_80 : constant Uint;
90 Uint_Minus_128 : constant Uint;
110 function UI_Abs (Right : Uint) return Uint;
114 function UI_Add (Left : Uint; Right : Uint) return Uint;
115 function UI_Add (Left : Int; Right : Uint) return Uint;
116 function UI_Add (Left : Uint; Right : Int) return Uint;
119 function UI_Decimal_Digits_Hi (U : Uint) return Nat;
126 function UI_Decimal_Digits_Lo (U : Uint) return Nat;
133 function UI_Div (Left : Uint; Right : Uint) return Uint;
134 function UI_Div (Left : Int; Right : Uint) return Uint;
135 function UI_Div (Left : Uint; Right : Int) return Uint;
138 function UI_Eq (Left : Uint; Right : Uint) return Boolean;
139 function UI_Eq (Left : Int; Right : Uint) return Boolean;
140 function UI_Eq (Left : Uint; Right : Int) return Boolean;
144 function UI_Expon (Left : Uint; Right : Uint) return Uint;
145 function UI_Expon (Left : Int; Right : Uint) return Uint;
146 function UI_Expon (Left : Uint; Right : Int) return Uint;
147 function UI_Expon (Left : Int; Right : Int) return Uint;
151 function UI_GCD (Uin, Vin : Uint) return Uint;
154 function UI_Ge (Left : Uint; Right : Uint) return Boolean;
155 function UI_Ge (Left : Int; Right : Uint) return Boolean;
156 function UI_Ge (Left : Uint; Right : Int) return Boolean;
160 function UI_Gt (Left : Uint; Right : Uint) return Boolean;
161 function UI_Gt (Left : Int; Right : Uint) return Boolean;
162 function UI_Gt (Left : Uint; Right : Int) return Boolean;
166 function UI_Is_In_Int_Range (Input : Uint) return Boolean;
170 function UI_Le (Left : Uint; Right : Uint) return Boolean;
171 function UI_Le (Left : Int; Right : Uint) return Boolean;
172 function UI_Le (Left : Uint; Right : Int) return Boolean;
176 function UI_Lt (Left : Uint; Right : Uint) return Boolean;
177 function UI_Lt (Left : Int; Right : Uint) return Boolean;
178 function UI_Lt (Left : Uint; Right : Int) return Boolean;
181 function UI_Max (Left : Uint; Right : Uint) return Uint;
182 function UI_Max (Left : Int; Right : Uint) return Uint;
183 function UI_Max (Left : Uint; Right : Int) return Uint;
186 function UI_Min (Left : Uint; Right : Uint) return Uint;
187 function UI_Min (Left : Int; Right : Uint) return Uint;
188 function UI_Min (Left : Uint; Right : Int) return Uint;
191 function UI_Mod (Left : Uint; Right : Uint) return Uint;
192 function UI_Mod (Left : Int; Right : Uint) return Uint;
193 function UI_Mod (Left : Uint; Right : Int) return Uint;
197 function UI_Mul (Left : Uint; Right : Uint) return Uint;
198 function UI_Mul (Left : Int; Right : Uint) return Uint;
199 function UI_Mul (Left : Uint; Right : Int) return Uint;
202 function UI_Ne (Left : Uint; Right : Uint) return Boolean;
203 function UI_Ne (Left : Int; Right : Uint) return Boolean;
204 function UI_Ne (Left : Uint; Right : Int) return Boolean;
208 function UI_Negate (Right : Uint) return Uint;
212 function UI_Rem (Left : Uint; Right : Uint) return Uint;
213 function UI_Rem (Left : Int; Right : Uint) return Uint;
214 function UI_Rem (Left : Uint; Right : Int) return Uint;
217 function UI_Sub (Left : Uint; Right : Uint) return Uint;
218 function UI_Sub (Left : Int; Right : Uint) return Uint;
219 function UI_Sub (Left : Uint; Right : Int) return Uint;
223 function UI_From_Dint (Input : Dint) return Uint;
226 function UI_From_Int (Input : Int) return Uint;
229 function UI_To_Int (Input : Uint) return Int;
233 function Num_Bits (Input : Uint) return Nat;
252 procedure UI_Image (Input : Uint; Format : UI_Format := Auto);
262 procedure UI_Write (Input : Uint; Format : UI_Format := Auto);
270 procedure pid (Input : Uint);
275 procedure pih (Input : Uint);
284 function "+" (Left : Uint; Right : Uint) return Uint renames UI_Add;
285 function "+" (Left : Int; Right : Uint) return Uint renames UI_Add;
286 function "+" (Left : Uint; Right : Int) return Uint renames UI_Add;
288 function "/" (Left : Uint; Right : Uint) return Uint renames UI_Div;
289 function "/" (Left : Int; Right : Uint) return Uint renames UI_Div;
290 function "/" (Left : Uint; Right : Int) return Uint renames UI_Div;
292 function "*" (Left : Uint; Right : Uint) return Uint renames UI_Mul;
293 function "*" (Left : Int; Right : Uint) return Uint renames UI_Mul;
294 function "*" (Left : Uint; Right : Int) return Uint renames UI_Mul;
296 function "-" (Left : Uint; Right : Uint) return Uint renames UI_Sub;
297 function "-" (Left : Int; Right : Uint) return Uint renames UI_Sub;
298 function "-" (Left : Uint; Right : Int) return Uint renames UI_Sub;
300 function "**" (Left : Uint; Right : Uint) return Uint renames UI_Expon;
301 function "**" (Left : Uint; Right : Int) return Uint renames UI_Expon;
302 function "**" (Left : Int; Right : Uint) return Uint renames UI_Expon;
303 function "**" (Left : Int; Right : Int) return Uint renames UI_Expon;
305 function "abs" (Real : Uint) return Uint renames UI_Abs;
307 function "mod" (Left : Uint; Right : Uint) return Uint renames UI_Mod;
308 function "mod" (Left : Int; Right : Uint) return Uint renames UI_Mod;
309 function "mod" (Left : Uint; Right : Int) return Uint renames UI_Mod;
311 function "rem" (Left : Uint; Right : Uint) return Uint renames UI_Rem;
312 function "rem" (Left : Int; Right : Uint) return Uint renames UI_Rem;
313 function "rem" (Left : Uint; Right : Int) return Uint renames UI_Rem;
315 function "-" (Real : Uint) return Uint renames UI_Negate;
317 function "=" (Left : Uint; Right : Uint) return Boolean renames UI_Eq;
318 function "=" (Left : Int; Right : Uint) return Boolean renames UI_Eq;
319 function "=" (Left : Uint; Right : Int) return Boolean renames UI_Eq;
321 function ">=" (Left : Uint; Right : Uint) return Boolean renames UI_Ge;
322 function ">=" (Left : Int; Right : Uint) return Boolean renames UI_Ge;
323 function ">=" (Left : Uint; Right : Int) return Boolean renames UI_Ge;
325 function ">" (Left : Uint; Right : Uint) return Boolean renames UI_Gt;
326 function ">" (Left : Int; Right : Uint) return Boolean renames UI_Gt;
327 function ">" (Left : Uint; Right : Int) return Boolean renames UI_Gt;
329 function "<=" (Left : Uint; Right : Uint) return Boolean renames UI_Le;
330 function "<=" (Left : Int; Right : Uint) return Boolean renames UI_Le;
331 function "<=" (Left : Uint; Right : Int) return Boolean renames UI_Le;
333 function "<" (Left : Uint; Right : Uint) return Boolean renames UI_Lt;
334 function "<" (Left : Int; Right : Uint) return Boolean renames UI_Lt;
335 function "<" (Left : Uint; Right : Int) return Boolean renames UI_Lt;
355 procedure Release_And_Save (M : Save_Mark; UI : in out Uint);
361 procedure Release_And_Save (M : Save_Mark; UI1, UI2 : in out Uint);
375 type Uint is new Int range Uint_Low_Bound .. Uint_High_Bound; type
376 for Uint'Size use 32;
378 No_Uint : constant Uint := Uint (Uint_Low_Bound);
414 Uint_0 : constant Uint := Uint (Uint_Direct_Bias);
415 Uint_1 : constant Uint := Uint (Uint_Direct_Bias + 1);
416 Uint_2 : constant Uint := Uint (Uint_Direct_Bias + 2);
417 Uint_3 : constant Uint := Uint (Uint_Direct_Bias + 3);
418 Uint_4 : constant Uint := Uint (Uint_Direct_Bias + 4);
419 Uint_5 : constant Uint := Uint (Uint_Direct_Bias + 5);
420 Uint_6 : constant Uint := Uint (Uint_Direct_Bias + 6);
421 Uint_7 : constant Uint := Uint (Uint_Direct_Bias + 7);
422 Uint_8 : constant Uint := Uint (Uint_Direct_Bias + 8);
423 Uint_9 : constant Uint := Uint (Uint_Direct_Bias + 9);
424 Uint_10 : constant Uint := Uint (Uint_Direct_Bias + 10);
425 Uint_12 : constant Uint := Uint (Uint_Direct_Bias + 12);
426 Uint_15 : constant Uint := Uint (Uint_Direct_Bias + 15);
427 Uint_16 : constant Uint := Uint (Uint_Direct_Bias + 16);
428 Uint_24 : constant Uint := Uint (Uint_Direct_Bias + 24);
429 Uint_32 : constant Uint := Uint (Uint_Direct_Bias + 32);
430 Uint_63 : constant Uint := Uint (Uint_Direct_Bias + 63);
431 Uint_64 : constant Uint := Uint (Uint_Direct_Bias + 64);
432 Uint_80 : constant Uint := Uint (Uint_Direct_Bias + 80);
433 Uint_128 : constant Uint := Uint (Uint_Direct_Bias + 128);
435 Uint_Minus_1 : constant Uint := Uint (Uint_Direct_Bias - 1);
436 Uint_Minus_2 : constant Uint := Uint (Uint_Direct_Bias - 2);
437 Uint_Minus_3 : constant Uint := Uint (Uint_Direct_Bias - 3);
438 Uint_Minus_4 : constant Uint := Uint (Uint_Direct_Bias - 4);
439 Uint_Minus_5 : constant Uint := Uint (Uint_Direct_Bias - 5);
440 Uint_Minus_6 : constant Uint := Uint (Uint_Direct_Bias - 6);
441 Uint_Minus_7 : constant Uint := Uint (Uint_Direct_Bias - 7);
442 Uint_Minus_8 : constant Uint := Uint (Uint_Direct_Bias - 8);
443 Uint_Minus_9 : constant Uint := Uint (Uint_Direct_Bias - 9);
444 Uint_Minus_12 : constant Uint := Uint (Uint_Direct_Bias - 12);
445 Uint_Minus_36 : constant Uint := Uint (Uint_Direct_Bias - 36);
446 Uint_Minus_63 : constant Uint := Uint (Uint_Direct_Bias - 63);
447 Uint_Minus_80 : constant Uint := Uint (Uint_Direct_Bias - 80);
448 Uint_Minus_128 : constant Uint := Uint (Uint_Direct_Bias - 128);
451 Save_Uint : Uint;
465 Uint_First_Entry : constant Uint := Uint (Uint_Table_Start);
496 Table_Index_Type => Uint,