org.semanticweb.HermiT.datatypes.floatnum
Class FloatInterval

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

public class FloatInterval
extends java.lang.Object


Field Summary
protected  float m_lowerBoundInclusive
           
protected  float m_upperBoundInclusive
           
 
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
 

Field Detail

m_lowerBoundInclusive

protected final float m_lowerBoundInclusive

m_upperBoundInclusive

protected final float m_upperBoundInclusive
Constructor Detail

FloatInterval

public FloatInterval(float lowerBoundInclusive,
                     float 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.


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)