org.mindswap.pellet
Class Literal
java.lang.Object
org.mindswap.pellet.Node
org.mindswap.pellet.Literal
public class Literal
- extends Node
- Author:
- Evren Sirin
| Fields inherited from class org.mindswap.pellet.Node |
ALL, ATOM, BLOCKABLE, CHANGED, log, MAX, MIN, NOM, NOMINAL, OR, SOME, TYPES, UNCHANGED |
| Methods inherited from class org.mindswap.pellet.Node |
getABox, getAllMerged, getDepends, getDepends, getDifferents, getInEdges, getMerged, getMergeDependency, getMergedTo, getName, getNameStr, getPath, getPruned, getTypes, hasObviousType, hasObviousType, inheritDifferents, isBnode, isConceptRoot, isMerged, isNamedIndividual, isPruned, isRoot, isRootNominal, isSame, mergedAt, prunedAt, removeInEdge, removeInEdges, removeType, removeTypes, reset, restorePruned, setChanged, setConceptRoot, setDifferent, setSame, undoSetSame |
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Literal
public Literal(aterm.ATermAppl name,
aterm.ATermAppl term,
ABox abox,
DependencySet ds)
Literal
public Literal(Literal literal,
ABox abox)
getNodeDepends
public DependencySet getNodeDepends()
- Specified by:
getNodeDepends in class Node
copyTo
public Node copyTo(ABox abox)
- Specified by:
copyTo in class Node
isLeaf
public final boolean isLeaf()
- Specified by:
isLeaf in class Node
getNominalLevel
public int getNominalLevel()
- Specified by:
getNominalLevel in class Node
isNominal
public boolean isNominal()
- Specified by:
isNominal in class Node
isBlockable
public boolean isBlockable()
- Specified by:
isBlockable in class Node
isLiteral
public boolean isLiteral()
- Specified by:
isLiteral in class Node
isIndividual
public boolean isIndividual()
- Specified by:
isIndividual in class Node
isDifferent
public boolean isDifferent(Node node)
- Overrides:
isDifferent in class Node
hasType
public boolean hasType(aterm.ATerm type)
- Overrides:
hasType in class Node
getDifferenceDependency
public DependencySet getDifferenceDependency(Node node)
- Overrides:
getDifferenceDependency in class Node
addType
public void addType(aterm.ATermAppl c,
DependencySet d)
- Overrides:
addType in class Node
addAllTypes
public void addAllTypes(java.util.Map<aterm.ATermAppl,DependencySet> types,
DependencySet ds)
hasSuccessor
public boolean hasSuccessor(Node x)
- Specified by:
hasSuccessor in class Node
getDatatype
public Datatype getDatatype()
getSame
public final Literal getSame()
- Overrides:
getSame in class Node
getTerm
public aterm.ATermAppl getTerm()
- Specified by:
getTerm in class Node
getDatatypeURI
public java.lang.String getDatatypeURI()
getLang
public java.lang.String getLang()
getLexicalValue
public java.lang.String getLexicalValue()
getValue
public java.lang.Object getValue()
restore
public boolean restore(int branch)
- Overrides:
restore in class Node
prune
public final void prune(DependencySet ds)
- Specified by:
prune in class Node
unprune
public void unprune(int branch)
- Overrides:
unprune in class Node
toString
public java.lang.String toString()
- Overrides:
toString in class Node
debugString
public java.lang.String debugString()
Copyright © 2004 Evren Sirin. All Rights Reserved.