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

Packages that use AtLeastConcept

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

Uses of AtLeastConcept in org.semanticweb.HermiT.model

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

Modifier and Type	Method and Description
static AtLeastConcept	AtLeastConcept.create(int number, Role onRole, LiteralConcept toConcept)

Uses of AtLeastConcept in org.semanticweb.HermiT.tableau

Methods in org.semanticweb.HermiT.tableau with parameters of type AtLeastConcept

Modifier and Type	Method and Description
void	ExistentialExpansionManager.doNormalExpansion(AtLeastConcept atLeastConcept, Node forNode)