IntervalDomainIntervalEnumeration

java.lang.Object
- org.jacop.core.IntervalEnumeration
- - org.jacop.core.IntervalDomainIntervalEnumeration

All Implemented Interfaces:

java.util.Enumeration<Interval>
```
public class IntervalDomainIntervalEnumeration
extends IntervalEnumeration
```
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) IntervalDomain`	`domain`
`(package private) Interval`	`i`
`(package private) int`	`intervalNo`
`(package private) int`	`maxIntervalNo`

Constructor Summary

Constructors
Constructor Description

IntervalDomainIntervalEnumeration(IntervalDomain 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()

Interval 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
```
IntervalDomain domain
```
  - i
```
Interval i
```
  - intervalNo
```
int intervalNo
```
  - maxIntervalNo
```
int maxIntervalNo
```
- Constructor Detail
  - IntervalDomainIntervalEnumeration
```
public IntervalDomainIntervalEnumeration(IntervalDomain 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<Interval>
    
    Specified by:
    
    hasMoreElements in class IntervalEnumeration
    
    Returns:
    
    true if there are more elements to enumerate.
  - nextElement
```
public Interval nextElement()
```
    Specified by:
    
    nextElement in interface java.util.Enumeration<Interval>
    
    Specified by:
    
    nextElement in class IntervalEnumeration
    
    Returns:
    
    next interval.