org.jacop.core

Class BoundDomainIntervalEnumeration

java.lang.Object

org.jacop.core.IntervalEnumeration

org.jacop.core.BoundDomainIntervalEnumeration

All Implemented Interfaces:

Enumeration<Interval>

public class BoundDomainIntervalEnumeration
extends IntervalEnumeration

Defines a methods for enumerating intervals contained in the BoundDomain. It implements the interface IntervalEnumeration. It always returns only one interval as BoundDomain by definition is specified by one interval.

Version:

4.2

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
BoundDomainIntervalEnumeration(int min, int max) It creates an enumeration of intervals for BoundDomain.

Method Summary

Modifier and Type	Method and Description
boolean	hasMoreElements()
Interval	nextElement()

Methods inherited from class java.lang.Object

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

Constructor Detail

BoundDomainIntervalEnumeration

public BoundDomainIntervalEnumeration(int min,
                                      int max)

It creates an enumeration of intervals for BoundDomain.

Parameters:

min - the left bound of the BoundDomain.

max - the right bound of the BoundDomain.

Method Detail

hasMoreElements

public boolean hasMoreElements()

Specified by:

hasMoreElements in interface Enumeration<Interval>

Specified by:

hasMoreElements in class IntervalEnumeration

Returns:

true if there are more elements to enumerate.

nextElement

public Interval nextElement()

Specified by:

nextElement in interface Enumeration<Interval>

Specified by:

nextElement in class IntervalEnumeration

Returns:

next interval.