Lines Matching refs:UI_From_Int

445       Uint_Int_First := UI_From_Int (Int'First);
446 Uint_Int_Last := UI_From_Int (Int'Last);
789 return UI_Add (UI_From_Int (Left), Right);
794 return UI_Add (Left, UI_From_Int (Right));
803 return UI_From_Int (Direct_Val (Left) + Direct_Val (Right));
994 return UI_Div (UI_From_Int (Left), Right);
999 return UI_Div (Left, UI_From_Int (Right));
1040 Quotient := UI_From_Int (DV_Left / DV_Right);
1044 Remainder := UI_From_Int (DV_Left rem DV_Right);
1134 Remainder := UI_From_Int (Remainder_I);
1313 return not UI_Ne (UI_From_Int (Left), Right);
1318 return not UI_Ne (Left, UI_From_Int (Right));
1332 return UI_Expon (UI_From_Int (Left), Right);
1337 return UI_Expon (Left, UI_From_Int (Right));
1342 return UI_Expon (UI_From_Int (Left), UI_From_Int (Right));
1445 return UI_From_Int (Int (Input));
1452 function UI_From_Int (Input : Int) return Uint is subprogram
1492 end UI_From_Int;
1534 UI_From_Int (GCD (Direct_Val (V), UI_To_Int (U rem V)));
1602 Tmp_UI := (UI_From_Int (A) * U) + (UI_From_Int (B) * V);
1603 V := (UI_From_Int (C) * U) + (UI_From_Int (D) * V);
1624 return not UI_Lt (UI_From_Int (Left), Right);
1629 return not UI_Lt (Left, UI_From_Int (Right));
1643 return UI_Lt (Right, UI_From_Int (Left));
1648 return UI_Lt (UI_From_Int (Right), Left);
1698 return not UI_Lt (Right, UI_From_Int (Left));
1703 return not UI_Lt (UI_From_Int (Right), Left);
1717 return UI_Lt (UI_From_Int (Left), Right);
1722 return UI_Lt (Left, UI_From_Int (Right));
1810 return UI_Max (UI_From_Int (Left), Right);
1815 return UI_Max (Left, UI_From_Int (Right));
1833 return UI_Min (UI_From_Int (Left), Right);
1838 return UI_Min (Left, UI_From_Int (Right));
1856 return UI_Mod (UI_From_Int (Left), Right);
1861 return UI_Mod (Left, UI_From_Int (Right));
1956 return UI_Mul (UI_From_Int (Left), Right);
1961 return UI_Mul (Left, UI_From_Int (Right));
1972 return UI_From_Int (Direct_Val (Left) * Direct_Val (Right));
2024 return UI_Ne (UI_From_Int (Left), Right);
2029 return UI_Ne (Left, UI_From_Int (Right));
2100 return UI_From_Int (-Direct_Val (Right));
2128 return UI_Rem (UI_From_Int (Left), Right);
2133 return UI_Rem (Left, UI_From_Int (Right));
2145 return UI_From_Int (Direct_Val (Left) rem Direct_Val (Right));
2171 return UI_From_Int (Direct_Val (Left) - Direct_Val (Right));