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

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

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 Details
- current
  
  int current
- min
  
  int min
- max
  
  int max
- domain
  
  BoundDomain domain
Constructor Details
- BoundDomainValueEnumeration
  
  public BoundDomainValueEnumeration(BoundDomain dom)
  
  Parameters:
  
  dom - It specifies the BoundDomain for which enumeration of values is performed.
Method Details
- 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