Uses of Class
org.semanticweb.HermiT.model.AtLeastDataRange

Packages that use AtLeastDataRange
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.tableau   
 

Uses of AtLeastDataRange in org.semanticweb.HermiT.model
 

Fields in org.semanticweb.HermiT.model with type parameters of type AtLeastDataRange
protected static InterningManager<AtLeastDataRange> AtLeastDataRange.s_interningManager
           
 

Methods in org.semanticweb.HermiT.model that return AtLeastDataRange
static AtLeastDataRange AtLeastDataRange.create(int number, Role onRole, LiteralDataRange toDataRange)
           
 

Uses of AtLeastDataRange in org.semanticweb.HermiT.tableau
 

Methods in org.semanticweb.HermiT.tableau with parameters of type AtLeastDataRange
 void ExistentialExpansionManager.doNormalExpansion(AtLeastDataRange atLeastDataRange, Node forNode)