org.jacop.core

Class SmallDenseDomainIntervalEnumeration

java.lang.Object

org.jacop.core.IntervalEnumeration

org.jacop.core.SmallDenseDomainIntervalEnumeration

All Implemented Interfaces:

Enumeration<Interval>

public class SmallDenseDomainIntervalEnumeration
extends IntervalEnumeration

Constructor Summary

Constructors

Constructor and Description
SmallDenseDomainIntervalEnumeration(SmallDenseDomain dom) It create an enumeration for a given domain.

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

SmallDenseDomainIntervalEnumeration

public SmallDenseDomainIntervalEnumeration(SmallDenseDomain dom)

It create an enumeration for a given domain.

Parameters:

dom - domain for which value enumeration is created.

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.