|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface CachedNode
Title:
Description: Represent the cached information for a concept or an individual.
For concepts this represents the root node of the tableau completion graph
built to check the satisfiability of the concept. For individuals, this is
the individual itself (Individual
implements this interface}. The
cached node for concepts may be incomplete if the satisfiability status was
cached when the satisfiability of another concept was being computed.
Incomplete cached nodes will not have any information regarding types or
edges.
Copyright: Copyright (c) 2008
Company: Clark & Parsia, LLC.
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. |
Method Detail |
---|
boolean isComplete()
true
if this cached node is completeboolean isTop()
true
if this is the cached node for BOTTOM conceptboolean isBottom()
true
if this is the cached node for TOP conceptjava.util.Map<aterm.ATermAppl,DependencySet> getDepends()
EdgeList getOutEdges()
EdgeList getInEdges()
boolean hasRNeighbor(Role role)
aterm.ATermAppl getName()
boolean isNamedIndividual()
boolean isIndependent()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |