org.semanticweb.HermiT.datatypes.doublenum
Class DoubleInterval
java.lang.Object
org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval
public class DoubleInterval
- extends java.lang.Object
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 |
m_lowerBoundInclusive
protected final double m_lowerBoundInclusive
m_upperBoundInclusive
protected final double m_upperBoundInclusive
DoubleInterval
public DoubleInterval(double lowerBoundInclusive,
double upperBoundInclusive)
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)