public class IntervalDomainValueEnumeration extends ValueEnumeration
Constructor and Description |
---|
IntervalDomainValueEnumeration(IntervalDomain dom)
It create an enumeration for a given domain.
|
Modifier and Type | Method and 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.
|
public IntervalDomainValueEnumeration(IntervalDomain dom)
dom
- domain for which value enumeration is created.public boolean hasMoreElements()
ValueEnumeration
hasMoreElements
in class ValueEnumeration
public int nextElement()
ValueEnumeration
nextElement
in class ValueEnumeration
public void domainHasChanged()
ValueEnumeration
domainHasChanged
in class ValueEnumeration