Class BoundDomainIntervalEnumeration

  • All Implemented Interfaces:
    java.util.Enumeration<Interval>

    public class BoundDomainIntervalEnumeration
    extends IntervalEnumeration
    Defines a methods for enumerating intervals contained in the BoundDomain. It implements the interface IntervalEnumeration. It always returns only one interval as BoundDomain by definition is specified by one interval.
    Version:
    4.8
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) boolean done  
      (package private) Interval i  
    • Constructor Summary

      Constructors 
      Constructor Description
      BoundDomainIntervalEnumeration​(int min, int max)
      It creates an enumeration of intervals for BoundDomain.
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      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
    • Constructor Detail

      • BoundDomainIntervalEnumeration

        public BoundDomainIntervalEnumeration​(int min,
                                              int max)
        It creates an enumeration of intervals for BoundDomain.
        Parameters:
        min - the left bound of the BoundDomain.
        max - the right bound of the BoundDomain.
    • 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.