|
||||||||||
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 |