Class IntervalDomainValueEnumeration

java.lang.Object
org.jacop.core.ValueEnumeration
org.jacop.core.IntervalDomainValueEnumeration

public class IntervalDomainValueEnumeration extends ValueEnumeration
Defines a methods for enumerating values contain in the domain.
Version:
4.10
  • Field Details

    • current

      int current
    • domain

    • i

    • intervalNo

      int intervalNo
    • maxIntervalNo

      int maxIntervalNo
  • Constructor Details

    • IntervalDomainValueEnumeration

      public IntervalDomainValueEnumeration(IntervalDomain dom)
      It create an enumeration for a given domain.
      Parameters:
      dom - domain for which value enumeration is created.
  • 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