Package org.jacop.floats.core
Class FloatIntervalDomainIntervalEnumeration
- java.lang.Object
-
- org.jacop.floats.core.FloatIntervalEnumeration
-
- org.jacop.floats.core.FloatIntervalDomainIntervalEnumeration
-
- All Implemented Interfaces:
java.util.Enumeration<FloatInterval>
public class FloatIntervalDomainIntervalEnumeration extends FloatIntervalEnumeration
Defines a methods for enumerating values contain in the intersal domain. It implements the interface Enumeration.- Version:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description (package private) FloatIntervalDomain
domain
(package private) FloatInterval
i
(package private) int
intervalNo
(package private) int
maxIntervalNo
-
Constructor Summary
Constructors Constructor Description FloatIntervalDomainIntervalEnumeration(FloatIntervalDomain dom)
It creates an enumeration for a given interval domain.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
hasMoreElements()
FloatInterval
nextElement()
-
-
-
Field Detail
-
domain
FloatIntervalDomain domain
-
i
FloatInterval i
-
intervalNo
int intervalNo
-
maxIntervalNo
int maxIntervalNo
-
-
Constructor Detail
-
FloatIntervalDomainIntervalEnumeration
public FloatIntervalDomainIntervalEnumeration(FloatIntervalDomain 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 interfacejava.util.Enumeration<FloatInterval>
- Specified by:
hasMoreElements
in classFloatIntervalEnumeration
- Returns:
- true if there are more elements to enumerate.
-
nextElement
public FloatInterval nextElement()
- Specified by:
nextElement
in interfacejava.util.Enumeration<FloatInterval>
- Specified by:
nextElement
in classFloatIntervalEnumeration
- Returns:
- next interval.
-
-