|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use FloatInterval | |
---|---|
org.semanticweb.HermiT.datatypes.floatnum |
Uses of FloatInterval in org.semanticweb.HermiT.datatypes.floatnum |
---|
Fields in org.semanticweb.HermiT.datatypes.floatnum with type parameters of type FloatInterval | |
---|---|
protected java.util.List<FloatInterval> |
NoNaNFloatSubset.m_intervals
|
Methods in org.semanticweb.HermiT.datatypes.floatnum that return FloatInterval | |
---|---|
protected FloatInterval |
FloatDatatypeHandler.getIntervalFor(DatatypeRestriction datatypeRestriction)
|
FloatInterval |
FloatInterval.intersectWith(FloatInterval that)
Computes the intersection of this interval with the supplied one. |
Methods in org.semanticweb.HermiT.datatypes.floatnum with parameters of type FloatInterval | |
---|---|
FloatInterval |
FloatInterval.intersectWith(FloatInterval that)
Computes the intersection of this interval with the supplied one. |
Constructors in org.semanticweb.HermiT.datatypes.floatnum with parameters of type FloatInterval | |
---|---|
NoNaNFloatSubset(FloatInterval interval)
|
Constructor parameters in org.semanticweb.HermiT.datatypes.floatnum with type arguments of type FloatInterval | |
---|---|
NoNaNFloatSubset(java.util.List<FloatInterval> intervals)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |