BoundDomainValueEnumeration

java.lang.Object
- org.jacop.core.ValueEnumeration
- - org.jacop.core.BoundDomainValueEnumeration

```
public class BoundDomainValueEnumeration
extends ValueEnumeration
```
Defines a methods for enumerating values contained in the BoundDomain.

Version:

4.8

Field Summary

Fields
Modifier and Type Field Description

(package private) int current

(package private) BoundDomain domain

(package private) int max

(package private) int min

Constructor Summary

Constructors
Constructor Description

BoundDomainValueEnumeration(BoundDomain dom)

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`void`	`domainHasChanged()`	This function is called to inform enumeration of the change of the domain it enumerates over.
`boolean`	`hasMoreElements()`	It checks if the value enumeration has more elements.
`int`	`nextElement()`	It returns the next element in the enumeration.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - current
```
int current
```
  - min
```
int min
```
  - max
```
int max
```
  - domain
```
BoundDomain domain
```
- Constructor Detail
  - BoundDomainValueEnumeration
```
public BoundDomainValueEnumeration(BoundDomain dom)
```
    Parameters:
    
    dom - It specifies the BoundDomain for which enumeration of values is performed.
- Method Detail
  - hasMoreElements
```
public boolean hasMoreElements()
```
    Description copied from class: ValueEnumeration
    
    It checks if the value enumeration has more elements.
    
    Specified by:
    
    hasMoreElements in class ValueEnumeration
    
    Returns:
    
    true if more elements can be enumerated, false otherwise.
  - nextElement
```
public int nextElement()
```
    Description copied from class: ValueEnumeration
    
    It returns the next element in the enumeration.
    
    Specified by:
    
    nextElement in class ValueEnumeration
    
    Returns:
    
    the next element.
  - domainHasChanged
```
public void domainHasChanged()
```
    Description copied from class: ValueEnumeration
    
    This function is called to inform enumeration of the change of the domain it enumerates over. The enumeration will update its private data structure and if possible adapt next element to the closest (on the right) which is still in the domain.
    
    Specified by:
    
    domainHasChanged in class ValueEnumeration