Class SmallDenseDomainValueEnumeration

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

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

  • Constructor Details

    • SmallDenseDomainValueEnumeration

      public SmallDenseDomainValueEnumeration(SmallDenseDomain 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