org.semanticweb.HermiT.datatypes.doublenum
Class DoubleInterval

java.lang.Object
  extended by org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

public class DoubleInterval
extends java.lang.Object


Field Summary
protected  double m_lowerBoundInclusive
           
protected  double m_upperBoundInclusive
           
 
Constructor Summary
DoubleInterval(double lowerBoundInclusive, double upperBoundInclusive)
           
 
Method Summary
static boolean areIdentical(double value1, double value2)
           
 boolean contains(double value)
           
static boolean contains(double startInclusive, double endInclusive, double value)
           
 void enumerateNumbers(java.util.Collection<java.lang.Object> numbers)
           
 DoubleInterval intersectWith(DoubleInterval that)
          Computes the intersection of this interval with the supplied one.
protected  boolean isEqual(double lowerBoundInclusive, double upperBoundInclusive)
           
protected static boolean isIntervalEmpty(double lowerBoundInclusive, double upperBoundInclusive)
           
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)
           
 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 double m_lowerBoundInclusive

m_upperBoundInclusive

protected final double m_upperBoundInclusive
Constructor Detail

DoubleInterval

public DoubleInterval(double lowerBoundInclusive,
                      double 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.


isEqual

protected boolean isEqual(double lowerBoundInclusive,
                          double upperBoundInclusive)

subtractSizeFrom

public int subtractSizeFrom(int argument)

contains

public boolean contains(double 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(long bits)

isIntervalEmpty

protected static boolean isIntervalEmpty(double lowerBoundInclusive,
                                         double upperBoundInclusive)

areIdentical

public static boolean areIdentical(double value1,
                                   double value2)

nextDouble

public static double nextDouble(double value)

previousDouble

public static double previousDouble(double value)

subtractIntervalSizeFrom

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

contains

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

isSmallerEqual

public static boolean isSmallerEqual(double value1,
                                     double value2)

isSmallerEqual

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