Package org.jacop.core
Class SmallDenseDomainIntervalEnumeration
- java.lang.Object
-
- org.jacop.core.IntervalEnumeration
-
- org.jacop.core.SmallDenseDomainIntervalEnumeration
-
- All Implemented Interfaces:
java.util.Enumeration<Interval>
public class SmallDenseDomainIntervalEnumeration extends IntervalEnumeration
Defines interval enumeration of small dense domain.- Version:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description (package private) long
bits
(package private) int
current
(package private) SmallDenseDomain
domain
-
Constructor Summary
Constructors Constructor Description SmallDenseDomainIntervalEnumeration(SmallDenseDomain dom)
It create an enumeration for a given domain.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasMoreElements()
Interval
nextElement()
-
-
-
Field Detail
-
current
int current
-
domain
SmallDenseDomain domain
-
bits
long bits
-
-
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 interfacejava.util.Enumeration<Interval>
- Specified by:
hasMoreElements
in classIntervalEnumeration
- Returns:
- true if there are more elements to enumerate.
-
nextElement
public Interval nextElement()
- Specified by:
nextElement
in interfacejava.util.Enumeration<Interval>
- Specified by:
nextElement
in classIntervalEnumeration
- Returns:
- next interval.
-
-