org.semanticweb.HermiT.datatypes.floatnum

Class FloatInterval

java.lang.Object

org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

public class FloatInterval
extends Object

Float interval.

Constructor Summary

Constructors

Constructor and Description
FloatInterval(float lowerBoundInclusive, float upperBoundInclusive)

Method Summary

Modifier and Type	Method and Description
static boolean	areIdentical(float value1, float value2)
boolean	contains(float value)
static boolean	contains(float startInclusive, float endInclusive, float value)
void	enumerateNumbers(Collection<Object> numbers)
FloatInterval	intersectWith(FloatInterval that) Computes the intersection of this interval with the supplied one.
static boolean	isNaN(int bits)
static boolean	isSmallerEqual(boolean positive1, int magnitude1, boolean positive2, int magnitude2)
static boolean	isSmallerEqual(float value1, float value2)
static float	nextFloat(float value)
static float	previousFloat(float value)
static int	subtractIntervalSizeFrom(float lowerBoundInclusive, float 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

FloatInterval

public FloatInterval(float lowerBoundInclusive,
                     float upperBoundInclusive)

Parameters:

lowerBoundInclusive - lowerBoundInclusive

upperBoundInclusive - upperBoundInclusive

Method Detail

intersectWith

public FloatInterval intersectWith(FloatInterval 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:

float interval

subtractSizeFrom

public int subtractSizeFrom(int argument)

Parameters:

argument - argument

Returns:

subtracted size

contains

public boolean contains(float value)

Parameters:

value - value

Returns:

true if contained

enumerateNumbers

public void enumerateNumbers(Collection<Object> numbers)

Parameters:

numbers - numbers

toString

public String toString()

Overrides:

toString in class Object

isNaN

public static boolean isNaN(int bits)

Parameters:

bits - bits to test

Returns:

true if NaN

areIdentical

public static boolean areIdentical(float value1,
                                   float value2)

Parameters:

value1 - value1

value2 - value2

Returns:

true if identical

nextFloat

public static float nextFloat(float value)

Parameters:

value - value

Returns:

next float

previousFloat

public static float previousFloat(float value)

Parameters:

value - float

Returns:

previous float

subtractIntervalSizeFrom

public static int subtractIntervalSizeFrom(float lowerBoundInclusive,
                                           float upperBoundInclusive,
                                           int _argument)

Parameters:

lowerBoundInclusive - lowerBoundInclusive

upperBoundInclusive - upperBoundInclusive

_argument - argument

Returns:

subtracted size

contains

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

Parameters:

startInclusive - start

endInclusive - end

value - value

Returns:

true if contained

isSmallerEqual

public static boolean isSmallerEqual(float value1,
                                     float value2)

Parameters:

value1 - value1

value2 - value2

Returns:

true if smaller equal

isSmallerEqual

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

Parameters:

positive1 - positive1

magnitude1 - magnitude1

positive2 - positive2

magnitude2 - magnitude2

Returns:

true if smaller equal