|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| 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)
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||