IntervalDomainIntervalEnumeration

java.lang.Object

org.jacop.core.IntervalEnumeration

org.jacop.core.IntervalDomainIntervalEnumeration

All Implemented Interfaces:: Enumeration<Interval>

public class IntervalDomainIntervalEnumeration extends IntervalEnumeration

Defines a methods for enumerating values contain in the intersal domain. It implements the interface Enumeration.

Version:: 4.10

Field Summary

Fields

Modifier and Type

Field

Description

(package private) IntervalDomain

domain

(package private) Interval

i

(package private) int

intervalNo

(package private) int

maxIntervalNo
Constructor Summary

Constructors

Constructor

Description

IntervalDomainIntervalEnumeration(IntervalDomain dom)

It creates an enumeration for a given interval 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
- domain
  
  IntervalDomain domain
- i
  
  Interval i
- intervalNo
  
  int intervalNo
- maxIntervalNo
  
  int maxIntervalNo
Constructor Details
- IntervalDomainIntervalEnumeration
  
  public IntervalDomainIntervalEnumeration(IntervalDomain dom)
  
  It creates an enumeration for a given interval domain.
  
  Parameters:
  
  dom - interval domain for which an 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.