Uses of Class
org.semanticweb.HermiT.datatypes.floatnum.FloatInterval

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)