org.semanticweb.HermiT.datatypes.owlreal
Class NumberInterval
java.lang.Object
org.semanticweb.HermiT.datatypes.owlreal.NumberInterval
public class NumberInterval
- extends java.lang.Object
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 |
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
NumberInterval
public NumberInterval(NumberRange baseRange,
NumberRange excludedRange,
java.lang.Number lowerBound,
BoundType lowerBoundType,
java.lang.Number upperBound,
BoundType upperBoundType)
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