Interface IIntervalDelta

  • All Superinterfaces:
    IDelta, IntDelta
    All Known Implementing Classes:
    IntervalDelta, NoDelta

    public interface IIntervalDelta
    extends IntDelta
    Interface for delta bounded dedicated to integer variable
    Since:
    11/01/13
    Author:
    Charles Prud'homme
    • Method Summary

      All Methods Instance Methods Abstract Methods 
      Modifier and Type Method Description
      void add​(int lb, int ub, ICause cause)
      Adds a new value interval to the delta
      int getLB​(int idx)
      Return the lower bound of idx^th interval stored in the delta, if any
      int getUB​(int idx)
      Return the upper bound idx^th interval stored in the delta, if any
    • Method Detail

      • add

        void add​(int lb,
                 int ub,
                 ICause cause)
        Adds a new value interval to the delta
        Parameters:
        lb - lower bound of removed interval
        ub - upper bound of removed interval
        cause - of the removal
      • getLB

        int getLB​(int idx)
           throws IndexOutOfBoundsException
        Return the lower bound of idx^th interval stored in the delta, if any
        Parameters:
        idx - rank of the interval
        Returns:
        idx^th interval
        Throws:
        IndexOutOfBoundsException - if idx is out of the bounds
      • getUB

        int getUB​(int idx)
           throws IndexOutOfBoundsException
        Return the upper bound idx^th interval stored in the delta, if any
        Parameters:
        idx - rank of the interval
        Returns:
        idx^th interval
        Throws:
        IndexOutOfBoundsException - if idx is out of the bounds