Uses of Class
org.semanticweb.HermiT.datatypes.doublenum.DoubleInterval

Packages that use DoubleInterval

Package	Description
org.semanticweb.HermiT.datatypes.doublenum

Uses of DoubleInterval in org.semanticweb.HermiT.datatypes.doublenum

Methods in org.semanticweb.HermiT.datatypes.doublenum that return DoubleInterval

Modifier and Type	Method and Description
DoubleInterval	DoubleInterval.intersectWith(DoubleInterval that) Computes the intersection of this interval with the supplied one.

Methods in org.semanticweb.HermiT.datatypes.doublenum with parameters of type DoubleInterval

Modifier and Type	Method and Description
DoubleInterval	DoubleInterval.intersectWith(DoubleInterval that) Computes the intersection of this interval with the supplied one.