Class IntervalDomainIntervalEnumeration

  • All Implemented Interfaces:
    java.util.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.7
    • Constructor Detail

      • 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 Detail

      • hasMoreElements

        public boolean hasMoreElements()
        Specified by:
        hasMoreElements in interface java.util.Enumeration<Interval>
        Specified by:
        hasMoreElements in class IntervalEnumeration
        Returns:
        true if there are more elements to enumerate.