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

Packages that use AtLeast
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.tableau   
 

Uses of AtLeast in org.semanticweb.HermiT.existentials
 

Methods in org.semanticweb.HermiT.existentials with parameters of type AtLeast
protected  void IndividualReuseStrategy.expandExistential(AtLeast atLeast, Node forNode)
           
protected  void CreationOrderStrategy.expandExistential(AtLeast atLeast, Node forNode)
           
protected abstract  void AbstractExpansionStrategy.expandExistential(AtLeast atLeast, Node forNode)
          This method performs the actual expansion.
protected  AbstractExpansionStrategy.SatType AbstractExpansionStrategy.isSatisfied(AtLeast atLeast, Node forNode)
           
 

Uses of AtLeast in org.semanticweb.HermiT.model
 

Subclasses of AtLeast in org.semanticweb.HermiT.model
 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
 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.