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)
void	enumerateNumbers(Collection<Object> numbers)
FloatInterval	intersectWith(FloatInterval that) Computes the intersection of this interval with the supplied one.
static boolean	isSmallerEqual(boolean positive1, int magnitude1, boolean positive2, int magnitude2)
static boolean	isSmallerEqual(float value1, float value2)
static float	nextFloat(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

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

subtractIntervalSizeFrom

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

Parameters:

lowerBoundInclusive - lowerBoundInclusive

upperBoundInclusive - upperBoundInclusive

argument - argument

Returns:

subtracted size

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