Class 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.9