Exemplo n.º 1
0
        static IntInterval DivideZeroPart1(IntInterval lhs, IntInterval rhs, ref bool b)
        {
            if (lhs.IsZero())
            {
                b = false;
                return(lhs);
            }

            int lhsMin = lhs.Min;
            int lhsMax = lhs.Max;
            int rhsMin = rhs.Min;
            int rhsMax = rhs.Max;

            if (lhsMax < 0)
            {
                b = true;
                return(new IntInterval(Integer.neg_inf, lhsMax / rhsMax));
            }
            else if (lhsMin < 0)
            {
                b = false;
                return(Whole);
            }
            else
            {
                b = true;
                return(new IntInterval(Integer.neg_inf, lhsMin / rhsMin));
            }
        }
Exemplo n.º 2
0
 static IntInterval DivideZero(IntInterval lhs)
 {
     if (lhs.IsZero())
     {
         return(lhs);
     }
     else
     {
         return(IntInterval.Whole);
     }
 }
Exemplo n.º 3
0
        static IntInterval DivideNegative(IntInterval lhs, int rhsMin)
        {
            if (lhs.IsZero())
            {
                return(lhs);
            }

            int lhsMin = lhs.Min;
            int lhsMax = lhs.Max;

            if (lhsMax < 0)
            {
                return(new IntInterval(lhsMax / rhsMin, Integer.pos_inf));
            }
            else if (lhsMin < 0)
            {
                return(new IntInterval(Integer.neg_inf, Integer.pos_inf));
            }
            else
            {
                return(new IntInterval(Integer.neg_inf, lhsMin / rhsMin));
            }
        }