JaCoP.core
Class SmallDenseDomainIntervalEnumeration

java.lang.Object
  JaCoP.core.IntervalEnumeration
      JaCoP.core.SmallDenseDomainIntervalEnumeration

All Implemented Interfaces:

java.util.Enumeration<Interval>

public class SmallDenseDomainIntervalEnumeration
extends IntervalEnumeration

Constructor Summary

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

Method Summary

boolean	hasMoreElements()
Interval	nextElement()

Methods inherited from class java.lang.Object

equals, 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 java.util.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 java.util.Enumeration<Interval>

Specified by:

nextElement in class IntervalEnumeration

Returns:

next interval.