|
||||||||||
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 |
ALLFUT
|
static int |
ALLPAST
|
static int |
AT
|
static int |
ATOM
|
static int |
BLOCKABLE
|
static int |
CHANGED
|
static boolean |
DEBUG
|
static int |
FUT
|
static int |
MAX
|
static int |
MIN
|
static int |
NOM
|
static int |
NOMINAL
|
static int |
OR
|
static int |
PAST
|
static int |
SOME
|
static int |
SOMEFUT
|
static int |
SOMEPAST
|
static int |
TYPES
|
static int |
UNCHANGED
|
Method Summary | |
---|---|
void |
addType(aterm.ATermAppl c,
DependencySet ds)
|
void |
addType(aterm.ATermAppl c,
DependencySet ds,
int moment)
09/11/08 addType(c, ds,moment) |
Node |
copy()
|
abstract Node |
copyTo(ABox abox)
|
boolean |
equals(java.lang.Object obj)
|
ABox |
getABox()
getABox |
java.util.Map |
getDepends()
|
DependencySet |
getDepends(aterm.ATerm c)
|
DependencySet |
getDifferenceDependency(Node node)
|
java.util.Set |
getDifferents()
|
EdgeList |
getInEdges()
|
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 int |
getNominalLevel()
|
java.lang.String |
getOntology()
|
Individual |
getParent()
|
java.util.List |
getPath()
A string that identifies this node either using its name or the path of individuals that comes to this node. |
java.util.Set |
getPredecessors()
|
DependencySet |
getPruned()
|
Node |
getSame()
|
abstract aterm.ATermAppl |
getTerm()
|
java.util.Set |
getTypes()
|
boolean |
hasObviousType(aterm.ATermAppl c)
|
boolean |
hasObviousType(java.util.Collection coll)
|
abstract boolean |
hasSuccessor(Node x)
|
boolean |
hasType(aterm.ATerm c)
|
void |
inheritDifferents(Node y,
DependencySet ds)
|
abstract boolean |
isBlockable()
|
boolean |
isBnode()
|
boolean |
isChanged()
|
boolean |
isChanged(int type)
|
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()
|
void |
removeType(aterm.ATermAppl c)
|
void |
removeTypes()
|
boolean |
restore(int branch)
|
void |
setChanged(boolean changed)
|
void |
setChanged(int type,
boolean changed)
|
void |
setConceptRoot(boolean isConceptRoot)
|
void |
setDifferent(Node node,
DependencySet ds)
|
void |
setOntology(java.lang.String ont)
|
void |
setSame(Node node,
DependencySet ds)
|
java.lang.String |
toString()
|
void |
undoSetSame()
|
void |
unprune(int branch)
|
Methods inherited from class java.lang.Object |
---|
getClass, hashCode, notify, notifyAll, wait, wait, wait |
Field Detail |
---|
public static boolean DEBUG
public static int BLOCKABLE
public static int NOMINAL
public static int CHANGED
public static int UNCHANGED
public static int ATOM
public static int OR
public static int SOME
public static int ALL
public static int MIN
public static int MAX
public static int NOM
public static int FUT
public static int PAST
public static int AT
public static int ALLFUT
public static int ALLPAST
public static int SOMEFUT
public static int SOMEPAST
public static int TYPES
Method Detail |
---|
public final Node copy()
public final boolean isChanged()
public final boolean isChanged(int type)
public final void setChanged(boolean changed)
public void setOntology(java.lang.String ont)
public java.lang.String getOntology()
public void setChanged(int type, boolean changed)
public boolean isConceptRoot()
public void setConceptRoot(boolean isConceptRoot)
public final boolean isBnode()
public final boolean isNamedIndividual()
public final 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 boolean restore(int branch)
public void addType(aterm.ATermAppl c, DependencySet ds)
public void addType(aterm.ATermAppl c, DependencySet ds, int moment)
public void removeType(aterm.ATermAppl c)
public boolean hasType(aterm.ATerm c)
public boolean hasObviousType(aterm.ATermAppl c)
public boolean hasObviousType(java.util.Collection coll)
public Individual getParent()
public final java.util.Set getPredecessors()
public abstract boolean hasSuccessor(Node x)
public final DependencySet getDepends(aterm.ATerm c)
public final java.util.Map getDepends()
public final java.util.Set getTypes()
public void removeTypes()
public final int prunedAt()
public final boolean isPruned()
public final 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 final int mergedAt()
public final boolean isMerged()
public final Node getMergedTo()
public DependencySet getMergeDependency(boolean all)
public Node getSame()
public void undoSetSame()
public final void setSame(Node node, DependencySet ds)
public boolean isSame(Node node)
public boolean isDifferent(Node node)
public java.util.Set getDifferents()
public DependencySet getDifferenceDependency(Node node)
public void setDifferent(Node node, DependencySet ds)
public void inheritDifferents(Node y, DependencySet ds)
public boolean equals(java.lang.Object obj)
equals
in class java.lang.Object
public final aterm.ATermAppl getName()
public abstract aterm.ATermAppl getTerm()
public final java.lang.String getNameStr()
public java.lang.String toString()
toString
in class java.lang.Object
public final java.util.List getPath()
public ABox getABox()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |