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.8

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()
- 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 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 interface java.util.Enumeration<FloatInterval>
    
    Specified by:
    
    hasMoreElements in class FloatIntervalEnumeration
    
    Returns:
    
    true if there are more elements to enumerate.
  - nextElement
```
public FloatInterval nextElement()
```
    Specified by:
    
    nextElement in interface java.util.Enumeration<FloatInterval>
    
    Specified by:
    
    nextElement in class FloatIntervalEnumeration
    
    Returns:
    
    next interval.