org.semanticweb.HermiT.datatypes.doublenum

Class DoubleInterval

java.lang.Object

org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

public class DoubleInterval
extends Object

DoubleInterval.

Constructor Summary

Constructors

Constructor and Description
DoubleInterval(double lowerBoundInclusive, double upperBoundInclusive)

Method Summary

Modifier and Type	Method and Description
static boolean	areIdentical(double value1, double value2)
boolean	contains(double value)
static boolean	contains(double startInclusive, double endInclusive, double value)
void	enumerateNumbers(Collection<Object> numbers)
DoubleInterval	intersectWith(DoubleInterval that) Computes the intersection of this interval with the supplied one.
static boolean	isNaN(long bits)
static boolean	isSmallerEqual(boolean positive1, long magnitude1, boolean positive2, long magnitude2)
static boolean	isSmallerEqual(double value1, double value2)
static double	nextDouble(double value)
static double	previousDouble(double value)
static int	subtractIntervalSizeFrom(double lowerBoundInclusive, double upperBoundInclusive, int argument)
int	subtractSizeFrom(int argument)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

DoubleInterval

public DoubleInterval(double lowerBoundInclusive,
                      double upperBoundInclusive)

Parameters:

lowerBoundInclusive - lowerBoundInclusive

upperBoundInclusive - upperBoundInclusive

Method Detail

intersectWith

public DoubleInterval intersectWith(DoubleInterval 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)

Parameters:

argument - argument

Returns:

subtracted size

contains

public boolean contains(double value)

Parameters:

value - value

Returns:

true if contains

enumerateNumbers

public void enumerateNumbers(Collection<Object> numbers)

Parameters:

numbers - numbers

toString

public String toString()

Overrides:

toString in class Object

isNaN

public static boolean isNaN(long bits)

Parameters:

bits - bits

Returns:

true if NaN

areIdentical

public static boolean areIdentical(double value1,
                                   double value2)

Parameters:

value1 - value1

value2 - value2

Returns:

true if identical

nextDouble

public static double nextDouble(double value)

Parameters:

value - value

Returns:

next double

previousDouble

public static double previousDouble(double value)

Parameters:

value - value

Returns:

previous double

subtractIntervalSizeFrom

public static int subtractIntervalSizeFrom(double lowerBoundInclusive,
                                           double upperBoundInclusive,
                                           int argument)

Parameters:

lowerBoundInclusive - lowerBoundInclusive

upperBoundInclusive - upperBoundInclusive

argument - argument

Returns:

subtracted size

contains

public static boolean contains(double startInclusive,
                               double endInclusive,
                               double value)

Parameters:

startInclusive - startInclusive

endInclusive - endInclusive

value - value

Returns:

true if contains

isSmallerEqual

public static boolean isSmallerEqual(double value1,
                                     double value2)

Parameters:

value1 - value1

value2 - value2

Returns:

true if smaller or equal

isSmallerEqual

public static boolean isSmallerEqual(boolean positive1,
                                     long magnitude1,
                                     boolean positive2,
                                     long magnitude2)

Parameters:

positive1 - positive1

magnitude1 - magnitude1

positive2 - positive2

magnitude2 - magnitude2

Returns:

true if smaller or equal