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

Packages that use AtLeast

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

Uses of AtLeast in org.semanticweb.HermiT.model

Subclasses of AtLeast in org.semanticweb.HermiT.model

Modifier and Type	Class and Description
class	AtLeastConcept Represents at-least concept.
class	AtLeastDataRange Represents at-least concept.

Uses of AtLeast in org.semanticweb.HermiT.tableau

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

Modifier and Type	Method and Description
void	ExistentialExpansionManager.expand(AtLeast atLeast, Node forNode)
boolean	ExistentialExpansionManager.tryFunctionalExpansion(AtLeast atLeast, Node forNode) Creates a new node in the tableau if the at least concept that caused the expansion is for cardinality 1.