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

Packages that use AtLeastDataRange

Package	Description
org.semanticweb.HermiT.model
org.semanticweb.HermiT.tableau

Uses of AtLeastDataRange in org.semanticweb.HermiT.model

Methods in org.semanticweb.HermiT.model that return AtLeastDataRange

Modifier and Type	Method and Description
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

Modifier and Type	Method and Description
void	ExistentialExpansionManager.doNormalExpansion(AtLeastDataRange atLeastDataRange, Node forNode)