Package org.jacop.floats.core
Class FloatIntervalDomainIntervalEnumeration
java.lang.Object
org.jacop.floats.core.FloatIntervalEnumeration
org.jacop.floats.core.FloatIntervalDomainIntervalEnumeration
- All Implemented Interfaces:
Enumeration<FloatInterval>
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) FloatIntervalDomain
(package private) FloatInterval
(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
FloatIntervalDomain domain -
i
-
intervalNo
int intervalNo -
maxIntervalNo
int maxIntervalNo
-
-
Constructor Details
-
FloatIntervalDomainIntervalEnumeration
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<FloatInterval>
- Specified by:
hasMoreElements
in classFloatIntervalEnumeration
- Returns:
- true if there are more elements to enumerate.
-
nextElement
- Specified by:
nextElement
in interfaceEnumeration<FloatInterval>
- Specified by:
nextElement
in classFloatIntervalEnumeration
- Returns:
- next interval.
-