|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.mindswap.pellet.Node
public abstract class Node
Field Summary | |
---|---|
static int |
ALL
|
static int |
ATOM
|
static int |
BLOCKABLE
|
static int |
CHANGED
|
static java.util.logging.Logger |
log
|
static int |
MAX
|
static int |
MIN
|
static int |
NOM
|
static int |
NOMINAL
|
static int |
OR
|
static int |
SOME
|
static int |
TYPES
|
static int |
UNCHANGED
|
Method Summary | |
---|---|
void |
addType(aterm.ATermAppl c,
DependencySet ds)
|
abstract Node |
copyTo(ABox abox)
|
ABox |
getABox()
getABox |
java.util.Map<Node,DependencySet> |
getAllMerged()
|
java.util.Map<aterm.ATermAppl,DependencySet> |
getDepends()
|
DependencySet |
getDepends(aterm.ATerm c)
|
DependencySet |
getDifferenceDependency(Node node)
|
java.util.Set<Node> |
getDifferents()
|
EdgeList |
getInEdges()
|
java.util.Set<Node> |
getMerged()
|
DependencySet |
getMergeDependency(boolean all)
Get the dependency if this node is merged to another node. |
Node |
getMergedTo()
|
aterm.ATermAppl |
getName()
|
java.lang.String |
getNameStr()
|
abstract DependencySet |
getNodeDepends()
|
abstract int |
getNominalLevel()
|
java.util.List<aterm.ATermAppl> |
getPath()
A string that identifies this node either using its name or the path of individuals that comes to this node. |
DependencySet |
getPruned()
|
Node |
getSame()
|
abstract aterm.ATermAppl |
getTerm()
|
java.util.Set<aterm.ATermAppl> |
getTypes()
|
Bool |
hasObviousType(aterm.ATermAppl c)
|
boolean |
hasObviousType(java.util.Collection<aterm.ATermAppl> coll)
|
abstract boolean |
hasSuccessor(Node x)
|
boolean |
hasType(aterm.ATerm c)
|
void |
inheritDifferents(Node y,
DependencySet ds)
|
abstract boolean |
isBlockable()
|
boolean |
isBnode()
|
boolean |
isConceptRoot()
Returns true if this is the node created for the concept satisfiability check. |
boolean |
isDifferent(Node node)
|
abstract boolean |
isIndividual()
|
abstract boolean |
isLeaf()
|
abstract boolean |
isLiteral()
|
boolean |
isMerged()
|
boolean |
isNamedIndividual()
|
abstract boolean |
isNominal()
|
boolean |
isPruned()
|
boolean |
isRoot()
|
boolean |
isRootNominal()
|
boolean |
isSame(Node node)
|
int |
mergedAt()
|
abstract void |
prune(DependencySet ds)
|
int |
prunedAt()
|
boolean |
removeInEdge(Edge edge)
|
void |
removeInEdges()
|
boolean |
removeType(aterm.ATermAppl c)
|
void |
removeTypes()
|
void |
reset(boolean onlyApplyTypes)
|
boolean |
restore(int branch)
|
java.lang.Boolean |
restorePruned(int branch)
|
void |
setChanged(int type)
Indicates that node has been changed in a way that requires us to recheck the concepts of given type. |
void |
setConceptRoot(boolean isConceptRoot)
|
void |
setDifferent(Node node,
DependencySet ds)
|
void |
setSame(Node node,
DependencySet ds)
|
java.lang.String |
toString()
|
void |
undoSetSame()
|
void |
unprune(int branch)
|
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static final java.util.logging.Logger log
public static final int BLOCKABLE
public static final int NOMINAL
public static final int CHANGED
public static final int UNCHANGED
public static final int ATOM
public static final int OR
public static final int SOME
public static final int ALL
public static final int MIN
public static final int MAX
public static final int NOM
public static final int TYPES
Method Detail |
---|
public void setChanged(int type)
type
- type of concepts that need to be recheckedpublic boolean isConceptRoot()
public void setConceptRoot(boolean isConceptRoot)
public boolean isBnode()
public boolean isNamedIndividual()
public boolean isRoot()
public abstract boolean isLeaf()
public boolean isRootNominal()
public abstract Node copyTo(ABox abox)
public EdgeList getInEdges()
public boolean removeInEdge(Edge edge)
public void removeInEdges()
public void reset(boolean onlyApplyTypes)
public java.lang.Boolean restorePruned(int branch)
public boolean restore(int branch)
public void addType(aterm.ATermAppl c, DependencySet ds)
public boolean removeType(aterm.ATermAppl c)
public boolean hasType(aterm.ATerm c)
public Bool hasObviousType(aterm.ATermAppl c)
public boolean hasObviousType(java.util.Collection<aterm.ATermAppl> coll)
public abstract boolean hasSuccessor(Node x)
public abstract DependencySet getNodeDepends()
public DependencySet getDepends(aterm.ATerm c)
public java.util.Map<aterm.ATermAppl,DependencySet> getDepends()
public java.util.Set<aterm.ATermAppl> getTypes()
public void removeTypes()
public int prunedAt()
public boolean isPruned()
public DependencySet getPruned()
public abstract void prune(DependencySet ds)
public void unprune(int branch)
public abstract int getNominalLevel()
public abstract boolean isNominal()
public abstract boolean isBlockable()
public abstract boolean isLiteral()
public abstract boolean isIndividual()
public int mergedAt()
public boolean isMerged()
public Node getMergedTo()
public DependencySet getMergeDependency(boolean all)
public Node getSame()
public void undoSetSame()
public java.util.Set<Node> getMerged()
public java.util.Map<Node,DependencySet> getAllMerged()
public void setSame(Node node, DependencySet ds)
public boolean isSame(Node node)
public boolean isDifferent(Node node)
public java.util.Set<Node> getDifferents()
public DependencySet getDifferenceDependency(Node node)
public void setDifferent(Node node, DependencySet ds)
public void inheritDifferents(Node y, DependencySet ds)
public aterm.ATermAppl getName()
public abstract aterm.ATermAppl getTerm()
public java.lang.String getNameStr()
public java.lang.String toString()
toString
in class java.lang.Object
public java.util.List<aterm.ATermAppl> getPath()
public ABox getABox()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |