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

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

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

Fields in org.semanticweb.HermiT.datatypes.owlreal declared as BoundType
protected  BoundType NumberInterval.m_lowerBoundType
           
protected  BoundType NumberInterval.m_upperBoundType
           
 

Methods in org.semanticweb.HermiT.datatypes.owlreal that return BoundType
 BoundType BoundType.getComplement()
           
static BoundType BoundType.getMoreRestrictive(BoundType boundType1, BoundType boundType2)
           
static BoundType BoundType.valueOf(java.lang.String name)
          Returns the enum constant of this type with the specified name.
static BoundType[] BoundType.values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 

Methods in org.semanticweb.HermiT.datatypes.owlreal with parameters of type BoundType
static BoundType BoundType.getMoreRestrictive(BoundType boundType1, BoundType boundType2)
           
protected  boolean NumberInterval.isEqual(NumberRange baseRange, NumberRange excludedRange, java.lang.Number lowerBound, BoundType lowerBoundType, java.lang.Number upperBound, BoundType upperBoundType)
           
protected static boolean NumberInterval.isIntervalEmpty(NumberRange baseRange, NumberRange excludedRange, java.lang.Number lowerBound, BoundType lowerBoundType, java.lang.Number upperBound, BoundType upperBoundType)
           
 

Constructors in org.semanticweb.HermiT.datatypes.owlreal with parameters of type BoundType
NumberInterval(NumberRange baseRange, NumberRange excludedRange, java.lang.Number lowerBound, BoundType lowerBoundType, java.lang.Number upperBound, BoundType upperBoundType)