Package org.jacop.floats.core

Class FloatInterval

  • All Implemented Interfaces:
    java.lang.Cloneable
    public final class FloatInterval
extends java.lang.Object
implements java.lang.Cloneable
    Defines interval of numbers which is part of FDV definition which consist of one or several intervals.
    Version:
    4.8

    • Field Summary

      Fields 
      Modifier and Type Field Description
      double max
      It specifies the maximal value in the interval.
      double min
      It specifies the minimal value in the interval.

    • Constructor Summary

      Constructors 
      Constructor Description
      FloatInterval()
      It creates the largest possible interval.
      FloatInterval​(double min, double max)
      It creates an interval with a given minimum and maximal value.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.Object clone()  
      boolean eq​(FloatInterval interval)
      It checks equality between intervals.
      double max()
      It returns the right bound of the interval (maximum value).
      double min()
      It returns the left range of the interval (minimum value).
      boolean singleton()
      It checks if an intervals contains only one value (singleton).
      boolean singleton​(double c)
      It checks if an intervals contains only value c.
      java.lang.String toString()  

      • Methods inherited from class java.lang.Object

        equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

    • Field Detail

      • min

        public final double min
        It specifies the minimal value in the interval.

      • max

        public final double max
        It specifies the maximal value in the interval.

    • Constructor Detail

      • FloatInterval

        public FloatInterval()
        It creates the largest possible interval.

      • FloatInterval

        public FloatInterval​(double min,
                     double max)
        It creates an interval with a given minimum and maximal value.
        Parameters:
        min - the minimal value in the interval (the left bound).
        max - the maximal value in the interval (the right bound).

    • Method Detail

      • clone

        public java.lang.Object clone()
        Overrides:
        clone in class java.lang.Object

      • eq

        public boolean eq​(FloatInterval interval)
        It checks equality between intervals.
        Parameters:
        interval - the inerval to which the comparison is made.
        Returns:
        true if an input interval is equal to this one.

      • max

        public double max()
        It returns the right bound of the interval (maximum value).
        Returns:
        the maximal value from the interval.

      • min

        public double min()
        It returns the left range of the interval (minimum value).
        Returns:
        the minimal value from the interval.

      • singleton

        public boolean singleton()
        It checks if an intervals contains only one value (singleton).
        Returns:
        true if domain has only one value.

      • singleton

        public boolean singleton​(double c)
        It checks if an intervals contains only value c.
        Parameters:
        c - integer value to which the singleton is compared to.
        Returns:
        true if variable has a singleton domain and it is equal to value c.

      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object