org.semanticweb.HermiT.datatypes.floatnum
Class FloatInterval
java.lang.Object
org.semanticweb.HermiT.datatypes.floatnum.FloatInterval
public class FloatInterval
- extends java.lang.Object
Constructor Summary |
FloatInterval(float lowerBoundInclusive,
float upperBoundInclusive)
|
Method Summary |
static boolean |
areIdentical(float value1,
float value2)
|
boolean |
contains(float value)
|
static boolean |
contains(float startInclusive,
float endInclusive,
float value)
|
void |
enumerateNumbers(java.util.Collection<java.lang.Object> numbers)
|
FloatInterval |
intersectWith(FloatInterval that)
Computes the intersection of this interval with the supplied one. |
protected boolean |
isEqual(float lowerBoundInclusive,
float upperBoundInclusive)
|
protected static boolean |
isIntervalEmpty(float lowerBoundInclusive,
float upperBoundInclusive)
|
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)
|
java.lang.String |
toString()
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_lowerBoundInclusive
protected final float m_lowerBoundInclusive
m_upperBoundInclusive
protected final float m_upperBoundInclusive
FloatInterval
public FloatInterval(float lowerBoundInclusive,
float upperBoundInclusive)
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.
isEqual
protected boolean isEqual(float lowerBoundInclusive,
float upperBoundInclusive)
subtractSizeFrom
public int subtractSizeFrom(int argument)
contains
public boolean contains(float value)
enumerateNumbers
public void enumerateNumbers(java.util.Collection<java.lang.Object> numbers)
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object
isNaN
public static boolean isNaN(int bits)
isIntervalEmpty
protected static boolean isIntervalEmpty(float lowerBoundInclusive,
float upperBoundInclusive)
areIdentical
public static boolean areIdentical(float value1,
float value2)
nextFloat
public static float nextFloat(float value)
previousFloat
public static float previousFloat(float value)
subtractIntervalSizeFrom
public static int subtractIntervalSizeFrom(float lowerBoundInclusive,
float upperBoundInclusive,
int argument)
contains
public static boolean contains(float startInclusive,
float endInclusive,
float value)
isSmallerEqual
public static boolean isSmallerEqual(float value1,
float value2)
isSmallerEqual
public static boolean isSmallerEqual(boolean positive1,
int magnitude1,
boolean positive2,
int magnitude2)