Package org.jacop.core
Class SmallDenseDomainIntervalEnumeration
java.lang.Object
org.jacop.core.IntervalEnumeration
org.jacop.core.SmallDenseDomainIntervalEnumeration
- All Implemented Interfaces:
Enumeration<Interval>
Defines interval enumeration of small dense domain.
- Version:
- 4.10
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) long
(package private) int
(package private) SmallDenseDomain
-
Constructor Summary
ConstructorsConstructorDescriptionIt create an enumeration for a given 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
-
current
int current -
domain
SmallDenseDomain domain -
bits
long bits
-
-
Constructor Details
-
SmallDenseDomainIntervalEnumeration
It create an enumeration for a given domain.- Parameters:
dom
- domain for which value 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.
-