JaCoP.core
Class Interval

java.lang.Object
  extended by JaCoP.core.Interval

public final class Interval
extends java.lang.Object

Defines interval of numbers which is part of FDV definition which consist of one or several intervals.

Version:
3.1
Author:
Radoslaw Szymanek and Krzysztof Kuchcinski

Field Summary
 int max
          It specifies the maximal value in the interval.
 int min
          It specifies the minimal value in the interval.
 
Constructor Summary
Interval()
          It creates the largest possible interval.
Interval(int min, int max)
          It creates an interval with a given minimum and maximal value.
 
Method Summary
 java.lang.Object clone()
           
 boolean eq(Interval interval)
          It checks equality between intervals.
 int max()
          It returns the right bound of the interval (maximum value).
 int 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(int c)
          It checks if an intervals contains only value c.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

max

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


min

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

Constructor Detail

Interval

public Interval()
It creates the largest possible interval.


Interval

public Interval(int min,
                int 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(Interval 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 int max()
It returns the right bound of the interval (maximum value).

Returns:
the maximal value from the interval.

min

public int 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(int 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