org.jacop.floats.core

Class FloatIntervalDomainIntervalEnumeration

java.lang.Object

org.jacop.floats.core.FloatIntervalEnumeration

org.jacop.floats.core.FloatIntervalDomainIntervalEnumeration

All Implemented Interfaces:

Enumeration<FloatInterval>

public class FloatIntervalDomainIntervalEnumeration
extends FloatIntervalEnumeration

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

Version:

4.9

Author:

Krzysztof Kuchcinski and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
FloatIntervalDomainIntervalEnumeration(FloatIntervalDomain dom) It creates an enumeration for a given interval domain.

Method Summary

Modifier and Type	Method and Description
boolean	hasMoreElements()
FloatInterval	nextElement()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FloatIntervalDomainIntervalEnumeration

public FloatIntervalDomainIntervalEnumeration(FloatIntervalDomain dom)

It creates an enumeration for a given interval domain.

Parameters:

dom - interval domain for which an enumeration is created.

Method Detail

hasMoreElements

public boolean hasMoreElements()

Specified by:

hasMoreElements in interface Enumeration<FloatInterval>

Specified by:

hasMoreElements in class FloatIntervalEnumeration

Returns:

true if there are more elements to enumerate.

nextElement

public FloatInterval nextElement()

Specified by:

nextElement in interface Enumeration<FloatInterval>

Specified by:

nextElement in class FloatIntervalEnumeration

Returns:

next interval.