org.semanticweb.HermiT.datatypes.owlreal
Class NumberInterval

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

public class NumberInterval
extends java.lang.Object


Field Summary
protected  NumberRange m_baseRange
           
protected  NumberRange m_excludedRange
           
protected  java.lang.Number m_lowerBound
           
protected  BoundType m_lowerBoundType
           
protected  java.lang.Number m_upperBound
           
protected  BoundType m_upperBoundType
           
 
Constructor Summary
NumberInterval(NumberRange baseRange, NumberRange excludedRange, java.lang.Number lowerBound, BoundType lowerBoundType, java.lang.Number upperBound, BoundType upperBoundType)
           
 
Method Summary
 boolean containsNumber(java.lang.Number number)
           
 void enumerateNumbers(java.util.Collection<java.lang.Object> numbers)
           
 NumberInterval intersectWith(NumberInterval that)
          Computes the intersection of this interval with the supplied one.
protected  boolean isEqual(NumberRange baseRange, NumberRange excludedRange, java.lang.Number lowerBound, BoundType lowerBoundType, java.lang.Number upperBound, BoundType upperBoundType)
           
protected static boolean isIntervalEmpty(NumberRange baseRange, NumberRange excludedRange, java.lang.Number lowerBound, BoundType lowerBoundType, java.lang.Number upperBound, BoundType upperBoundType)
           
 int subtractSizeFrom(int argument)
          Subtracts from the given argument the number of distinct objects that are contained in this interval.
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

m_baseRange

protected final NumberRange m_baseRange

m_excludedRange

protected final NumberRange m_excludedRange

m_lowerBound

protected final java.lang.Number m_lowerBound

m_lowerBoundType

protected final BoundType m_lowerBoundType

m_upperBound

protected final java.lang.Number m_upperBound

m_upperBoundType

protected final BoundType m_upperBoundType
Constructor Detail

NumberInterval

public NumberInterval(NumberRange baseRange,
                      NumberRange excludedRange,
                      java.lang.Number lowerBound,
                      BoundType lowerBoundType,
                      java.lang.Number upperBound,
                      BoundType upperBoundType)
Method Detail

intersectWith

public NumberInterval intersectWith(NumberInterval that)
Computes the intersection of this interval with the supplied one. If the two intervals do not intersect, the result is null.


isEqual

protected boolean isEqual(NumberRange baseRange,
                          NumberRange excludedRange,
                          java.lang.Number lowerBound,
                          BoundType lowerBoundType,
                          java.lang.Number upperBound,
                          BoundType upperBoundType)

subtractSizeFrom

public int subtractSizeFrom(int argument)
Subtracts from the given argument the number of distinct objects that are contained in this interval. If the interval contains more objects than argument, the result is zero.


containsNumber

public boolean containsNumber(java.lang.Number number)

enumerateNumbers

public void enumerateNumbers(java.util.Collection<java.lang.Object> numbers)

isIntervalEmpty

protected static boolean isIntervalEmpty(NumberRange baseRange,
                                         NumberRange excludedRange,
                                         java.lang.Number lowerBound,
                                         BoundType lowerBoundType,
                                         java.lang.Number upperBound,
                                         BoundType upperBoundType)

toString

public java.lang.String toString()
Overrides:
toString in class java.lang.Object