Uses of Class
org.semanticweb.HermiT.datatypes.owlreal.PlusInfinity

Packages that use PlusInfinity
org.semanticweb.HermiT.datatypes.owlreal   
 

Uses of PlusInfinity in org.semanticweb.HermiT.datatypes.owlreal
 

Fields in org.semanticweb.HermiT.datatypes.owlreal declared as PlusInfinity
static PlusInfinity PlusInfinity.INSTANCE