Lines Matching refs:UI_From_Int

461       Uint_Int_First := UI_From_Int (Int'First);
462 Uint_Int_Last := UI_From_Int (Int'Last);
805 return UI_Add (UI_From_Int (Left), Right);
810 return UI_Add (Left, UI_From_Int (Right));
819 return UI_From_Int (Direct_Val (Left) + Direct_Val (Right));
1010 return UI_Div (UI_From_Int (Left), Right);
1015 return UI_Div (Left, UI_From_Int (Right));
1056 Quotient := UI_From_Int (DV_Left / DV_Right);
1060 Remainder := UI_From_Int (DV_Left rem DV_Right);
1150 Remainder := UI_From_Int (Remainder_I);
1329 return not UI_Ne (UI_From_Int (Left), Right);
1334 return not UI_Ne (Left, UI_From_Int (Right));
1348 return UI_Expon (UI_From_Int (Left), Right);
1353 return UI_Expon (Left, UI_From_Int (Right));
1358 return UI_Expon (UI_From_Int (Left), UI_From_Int (Right));
1461 return UI_From_Int (Int (Input));
1468 function UI_From_Int (Input : Int) return Uint is subprogram
1508 end UI_From_Int;
1550 UI_From_Int (GCD (Direct_Val (V), UI_To_Int (U rem V)));
1618 Tmp_UI := (UI_From_Int (A) * U) + (UI_From_Int (B) * V);
1619 V := (UI_From_Int (C) * U) + (UI_From_Int (D) * V);
1640 return not UI_Lt (UI_From_Int (Left), Right);
1645 return not UI_Lt (Left, UI_From_Int (Right));
1659 return UI_Lt (Right, UI_From_Int (Left));
1664 return UI_Lt (UI_From_Int (Right), Left);
1705 return not UI_Lt (Right, UI_From_Int (Left));
1710 return not UI_Lt (UI_From_Int (Right), Left);
1724 return UI_Lt (UI_From_Int (Left), Right);
1729 return UI_Lt (Left, UI_From_Int (Right));
1817 return UI_Max (UI_From_Int (Left), Right);
1822 return UI_Max (Left, UI_From_Int (Right));
1840 return UI_Min (UI_From_Int (Left), Right);
1845 return UI_Min (Left, UI_From_Int (Right));
1863 return UI_Mod (UI_From_Int (Left), Right);
1868 return UI_Mod (Left, UI_From_Int (Right));
1963 return UI_Mul (UI_From_Int (Left), Right);
1968 return UI_Mul (Left, UI_From_Int (Right));
1979 return UI_From_Int (Direct_Val (Left) * Direct_Val (Right));
2031 return UI_Ne (UI_From_Int (Left), Right);
2036 return UI_Ne (Left, UI_From_Int (Right));
2107 return UI_From_Int (-Direct_Val (Right));
2135 return UI_Rem (UI_From_Int (Left), Right);
2140 return UI_Rem (Left, UI_From_Int (Right));
2152 return UI_From_Int (Direct_Val (Left) rem Direct_Val (Right));
2178 return UI_From_Int (Direct_Val (Left) - Direct_Val (Right));