org.semanticweb.HermiT.datatypes.owlreal

Class NumberInterval

java.lang.Object

org.semanticweb.HermiT.datatypes.owlreal.NumberInterval

public class NumberInterval
extends Object

Numeric interval.

Constructor Summary

Constructors

Constructor and Description
NumberInterval(NumberRange baseRange, NumberRange excludedRange, Number lowerBound, BoundType lowerBoundType, Number upperBound, BoundType upperBoundType)

Method Summary

Modifier and Type	Method and Description
boolean	containsNumber(Number number)
void	enumerateNumbers(Collection<Object> numbers)
NumberInterval	intersectWith(NumberInterval that) Computes the intersection of this interval with the supplied one.
int	subtractSizeFrom(int argument) Subtracts from the given argument the number of distinct objects that are contained in this interval.
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

NumberInterval

public NumberInterval(NumberRange baseRange,
                      NumberRange excludedRange,
                      Number lowerBound,
                      BoundType lowerBoundType,
                      Number upperBound,
                      BoundType upperBoundType)

Parameters:

baseRange - range

excludedRange - exclusion

lowerBound - lower bound

lowerBoundType - lower type

upperBound - upper bound

upperBoundType - upper type

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.

Parameters:

that - that

Returns:

intersection

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.

Parameters:

argument - argument

Returns:

subracted size

containsNumber

public boolean containsNumber(Number number)

Parameters:

number - number to check

Returns:

true if contained

enumerateNumbers

public void enumerateNumbers(Collection<Object> numbers)

Parameters:

numbers - collection to add to

toString

public String toString()

Overrides:

toString in class Object