Lines Matching refs:UI_From_Int

452       Uint_Int_First := UI_From_Int (Int'First);
453 Uint_Int_Last := UI_From_Int (Int'Last);
1020 return UI_Add (UI_From_Int (Left), Right);
1025 return UI_Add (Left, UI_From_Int (Right));
1034 return UI_From_Int (Direct_Val (Left) + Direct_Val (Right));
1222 return UI_Div (UI_From_Int (Left), Right);
1227 return UI_Div (Left, UI_From_Int (Right));
1237 return UI_From_Int (Direct_Val (Left) / Direct_Val (Right));
1436 return not UI_Ne (UI_From_Int (Left), Right);
1441 return not UI_Ne (Left, UI_From_Int (Right));
1455 return UI_Expon (UI_From_Int (Left), Right);
1460 return UI_Expon (Left, UI_From_Int (Right));
1465 return UI_Expon (UI_From_Int (Left), UI_From_Int (Right));
1606 function UI_From_Int (Input : Int) return Uint is subprogram
1652 end UI_From_Int;
1694 UI_From_Int (GCD (Direct_Val (V), UI_To_Int (U rem V)));
1758 Tmp_UI := (UI_From_Int (A) * U) + (UI_From_Int (B) * V);
1759 V := (UI_From_Int (C) * U) + (UI_From_Int (D) * V);
1780 return not UI_Lt (UI_From_Int (Left), Right);
1785 return not UI_Lt (Left, UI_From_Int (Right));
1799 return UI_Lt (Right, UI_From_Int (Left));
1804 return UI_Lt (UI_From_Int (Right), Left);
1845 return not UI_Lt (Right, UI_From_Int (Left));
1850 return not UI_Lt (UI_From_Int (Right), Left);
1864 return UI_Lt (UI_From_Int (Left), Right);
1869 return UI_Lt (Left, UI_From_Int (Right));
1957 return UI_Max (UI_From_Int (Left), Right);
1962 return UI_Max (Left, UI_From_Int (Right));
1980 return UI_Min (UI_From_Int (Left), Right);
1985 return UI_Min (Left, UI_From_Int (Right));
2003 return UI_Mod (UI_From_Int (Left), Right);
2008 return UI_Mod (Left, UI_From_Int (Right));
2030 return UI_Mul (UI_From_Int (Left), Right);
2035 return UI_Mul (Left, UI_From_Int (Right));
2097 return UI_Ne (UI_From_Int (Left), Right);
2102 return UI_Ne (Left, UI_From_Int (Right));
2173 return UI_From_Int (-Direct_Val (Right));
2202 return UI_Rem (UI_From_Int (Left), Right);
2207 return UI_Rem (Left, UI_From_Int (Right));
2221 return UI_From_Int (Direct_Val (Left) rem Direct_Val (Right));
2254 return UI_From_Int (
2258 return UI_From_Int (
2262 return UI_From_Int (
2273 return UI_From_Int (
2279 return UI_From_Int (
2288 return UI_From_Int (Sign * Tmp);
2296 return UI_From_Int (Sign * Tmp);
2304 return UI_From_Int (Sign * Tmp);
2332 return UI_From_Int (Sign * (Tmp rem 6));
2339 return UI_From_Int (Sign * (Tmp rem 10));
2346 return UI_From_Int (Sign * (Tmp rem 12));
2381 return UI_From_Int (Direct_Val (Left) - Direct_Val (Right));