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

Packages that use AtLeastConcept
org.semanticweb.HermiT.blocking   
org.semanticweb.HermiT.existentials   
org.semanticweb.HermiT.model   
org.semanticweb.HermiT.tableau   
 

Uses of AtLeastConcept in org.semanticweb.HermiT.blocking
 

Fields in org.semanticweb.HermiT.blocking with type parameters of type AtLeastConcept
 java.util.Map<AtLeastConcept,Node> BlockingValidator.inValidAtleastForBlockedParent
           
 java.util.Map<AtLeastConcept,Node> BlockingValidator.inValidAtleastForBlocker
           
 

Methods in org.semanticweb.HermiT.blocking with parameters of type AtLeastConcept
protected  void BlockingValidator.checkAtLeastForNonblocked(AtLeastConcept atleast, Node nonblocked)
           
protected  boolean BlockingValidator.isSatisfiedAtLeastForBlocked(AtLeastConcept atleast, Node blockedX, Node blocker, Node blockerParent)
           
 

Uses of AtLeastConcept in org.semanticweb.HermiT.existentials
 

Fields in org.semanticweb.HermiT.existentials declared as AtLeastConcept
protected  AtLeastConcept IndividualReuseStrategy.IndividualReuseBranchingPoint.m_existential
           
 

Methods in org.semanticweb.HermiT.existentials with parameters of type AtLeastConcept
protected  boolean IndividualReuseStrategy.expandWithModelReuse(AtLeastConcept atLeastConcept, Node node)
           
protected  boolean IndividualReuseStrategy.tryParentReuse(AtLeastConcept atLeastConcept, Node node)
           
 

Constructors in org.semanticweb.HermiT.existentials with parameters of type AtLeastConcept
IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau, AtLeastConcept existential, Node node, boolean wasParentReuse)
           
 

Uses of AtLeastConcept in org.semanticweb.HermiT.model
 

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

Methods in org.semanticweb.HermiT.model that return AtLeastConcept
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
 void ExistentialExpansionManager.doNormalExpansion(AtLeastConcept atLeastConcept, Node forNode)