|
||||||||||
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 CachedNode
public EdgeList getInEdges()
getInEdges
in interface CachedNode
public EdgeList getOutEdges()
getOutEdges
in interface CachedNode
public java.util.Map<aterm.ATermAppl,DependencySet> getDepends()
getDepends
in interface CachedNode
public boolean hasRNeighbor(Role role)
hasRNeighbor
in interface CachedNode
public boolean isBottom()
isBottom
in interface CachedNode
true
if this is the cached node for TOP conceptpublic boolean isComplete()
isComplete
in interface CachedNode
true
if this cached node is completepublic boolean isNamedIndividual()
isNamedIndividual
in interface CachedNode
public boolean isTop()
isTop
in interface CachedNode
true
if this is the cached node for BOTTOM conceptpublic aterm.ATermAppl getName()
CachedNode
getName
in interface CachedNode
public 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 |