Package org.jacop.core
Class IntervalDomainIntervalEnumeration
java.lang.Object
org.jacop.core.IntervalEnumeration
org.jacop.core.IntervalDomainIntervalEnumeration
- All Implemented Interfaces:
Enumeration<Interval>
Defines a methods for enumerating values contain in the intersal domain. It
implements the interface Enumeration.
- Version:
- 4.9
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) IntervalDomain
(package private) Interval
(package private) int
(package private) int
-
Constructor Summary
ConstructorsConstructorDescriptionIt creates an enumeration for a given interval domain. -
Method Summary
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
Methods inherited from interface java.util.Enumeration
asIterator
-
Field Details
-
domain
IntervalDomain domain -
i
Interval i -
intervalNo
int intervalNo -
maxIntervalNo
int maxIntervalNo
-
-
Constructor Details
-
IntervalDomainIntervalEnumeration
It creates an enumeration for a given interval domain.- Parameters:
dom
- interval domain for which an enumeration is created.
-
-
Method Details
-
hasMoreElements
public boolean hasMoreElements()- Specified by:
hasMoreElements
in interfaceEnumeration<Interval>
- Specified by:
hasMoreElements
in classIntervalEnumeration
- Returns:
- true if there are more elements to enumerate.
-
nextElement
- Specified by:
nextElement
in interfaceEnumeration<Interval>
- Specified by:
nextElement
in classIntervalEnumeration
- Returns:
- next interval.
-