|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.mindswap.pellet.tableau.cache.CachedConceptNode
public class CachedConceptNode
Title:
Description: A node cached as the result of satisfiability checking for a concept.
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
| Constructor Summary | |
|---|---|
CachedConceptNode(aterm.ATermAppl name,
Individual node)
|
|
| Method Summary | |
|---|---|
java.util.Map<aterm.ATermAppl,DependencySet> |
getDepends()
Returns the types and their dependencies for this node. |
EdgeList |
getInEdges()
Returns the incoming edges of this node. |
aterm.ATermAppl |
getName()
Returns the name of this node. |
EdgeList |
getOutEdges()
Returns the outgoing edges of this node. |
boolean |
hasRNeighbor(Role role)
Checks if this node is connected to another node with the given role (or one of its subproperties). |
boolean |
isBottom()
Returns if this is the cached node for TOP concept. |
boolean |
isComplete()
Returns if this cached node is complete. |
boolean |
isIndependent()
Returns if this node was cached without any dependency to a non-deterministic branch. |
boolean |
isNamedIndividual()
Returns if this node represent a named individual (not an anonymous individual or a concept node) |
boolean |
isTop()
Returns if this is the cached node for BOTTOM concept. |
java.lang.String |
toString()
|
| Methods inherited from class java.lang.Object |
|---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Constructor Detail |
|---|
public CachedConceptNode(aterm.ATermAppl name,
Individual node)
depends - node - | Method Detail |
|---|
public boolean isIndependent()
isIndependent in interface CachedNodepublic EdgeList getInEdges()
getInEdges in interface CachedNodepublic EdgeList getOutEdges()
getOutEdges in interface CachedNodepublic java.util.Map<aterm.ATermAppl,DependencySet> getDepends()
getDepends in interface CachedNodepublic boolean hasRNeighbor(Role role)
hasRNeighbor in interface CachedNodepublic boolean isBottom()
isBottom in interface CachedNodetrue if this is the cached node for TOP conceptpublic boolean isComplete()
isComplete in interface CachedNodetrue if this cached node is completepublic boolean isNamedIndividual()
isNamedIndividual in interface CachedNodepublic boolean isTop()
isTop in interface CachedNodetrue if this is the cached node for BOTTOM conceptpublic aterm.ATermAppl getName()
CachedNode
getName in interface CachedNodepublic java.lang.String toString()
toString in class java.lang.Object
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||