Interface RealInterval

    • Method Detail

      • getLB

        double getLB()
        Retrieves the lower bound of the variable
        Returns:
        the lower bound
      • getUB

        double getUB()
        Retrieves the upper bound of the variable
        Returns:
        the upper bound
      • intersect

        void intersect​(double l,
                       double u,
                       ICause cause)
                throws ContradictionException
        Modifies the bounds for intersecting with the specified interval.
        Parameters:
        l - lower bound
        u - upper bound
        cause - who launches the intersection
        Throws:
        ContradictionException - if a failure occurs