JaCoP.core
Class IntervalDomainIntervalEnumeration

java.lang.Object
  JaCoP.core.IntervalEnumeration
      JaCoP.core.IntervalDomainIntervalEnumeration

All Implemented Interfaces:

java.util.Enumeration<Interval>

public class IntervalDomainIntervalEnumeration
extends IntervalEnumeration

Defines a methods for enumerating values contain in the intersal domain. It implements the interface Enumeration.

Version:

3.1

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Constructor Summary

IntervalDomainIntervalEnumeration(IntervalDomain dom)
It creates an enumeration for a given interval 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

IntervalDomainIntervalEnumeration

public IntervalDomainIntervalEnumeration(IntervalDomain dom)

It creates an enumeration for a given interval domain.

Parameters:

dom - interval domain for which an 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.