SmallDenseDomainIntervalEnumeration

java.lang.Object

org.jacop.core.IntervalEnumeration

org.jacop.core.SmallDenseDomainIntervalEnumeration

All Implemented Interfaces:: Enumeration<Interval>

public class SmallDenseDomainIntervalEnumeration extends IntervalEnumeration

Defines interval enumeration of small dense domain.

Version:: 4.10

Field Summary

Fields

Modifier and Type

Field

Description

(package private) long

bits

(package private) int

current

(package private) SmallDenseDomain

domain
Constructor Summary

Constructors

Constructor

Description

SmallDenseDomainIntervalEnumeration(SmallDenseDomain dom)

It create an enumeration for a given domain.
Method Summary

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 Details
- current
  
  int current
- domain
  
  SmallDenseDomain domain
- bits
  
  long bits
Constructor Details
- SmallDenseDomainIntervalEnumeration
  
  public SmallDenseDomainIntervalEnumeration(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()
  
  Specified by:
  
  hasMoreElements in interface 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 Enumeration<Interval>
  
  Specified by:
  
  nextElement in class IntervalEnumeration
  
  Returns:
  
  next interval.