public class Literal extends Node
| Constructor and Description |
|---|
Literal(aterm.ATermAppl name,
aterm.ATermAppl term,
ABox abox,
DependencySet ds) |
Literal(Literal literal,
ABox abox) |
| Modifier and Type | Method and Description |
|---|---|
void |
addAllTypes(Map<aterm.ATermAppl,DependencySet> types,
DependencySet ds) |
void |
addType(aterm.ATermAppl c,
DependencySet d) |
void |
clearMergeToConstant() |
Node |
copyTo(ABox abox) |
String |
debugString() |
DependencySet |
getDifferenceDependency(Node node) |
String |
getLang() |
String |
getLexicalValue() |
NodeMerge |
getMergeToConstant() |
DependencySet |
getNodeDepends() |
int |
getNominalLevel() |
Literal |
getSame() |
aterm.ATermAppl |
getTerm() |
Object |
getValue() |
boolean |
hasSuccessor(Node x) |
boolean |
hasType(aterm.ATerm type) |
boolean |
isBlockable() |
boolean |
isDifferent(Node node) |
boolean |
isIndividual() |
boolean |
isLeaf() |
boolean |
isLiteral() |
boolean |
isNominal() |
void |
prune(DependencySet ds) |
boolean |
restore(int branch) |
void |
unprune(int branch) |
addInEdge, equals, getABox, getAllMerged, getDepends, getDepends, getDifferents, getInEdges, getMerged, getMergeDependency, getMergedTo, getName, getNameStr, getPath, getPruned, getTypes, hashCode, hasObviousType, hasObviousType, inheritDifferents, isBnode, isConceptRoot, isMerged, isNamedIndividual, isPruned, isRoot, isRootNominal, isSame, mergedAt, prunedAt, removeInEdge, removeInEdges, removeType, removeTypes, reset, resetTypes, restorePruned, setChanged, setConceptRoot, setDifferent, setSame, toString, undoSetSame, updateNodeReferencespublic Literal(aterm.ATermAppl name,
aterm.ATermAppl term,
ABox abox,
DependencySet ds)
public DependencySet getNodeDepends()
getNodeDepends in class Nodepublic int getNominalLevel()
getNominalLevel in class Nodepublic boolean isBlockable()
isBlockable in class Nodepublic boolean isIndividual()
isIndividual in class Nodepublic boolean isDifferent(Node node)
isDifferent in class Nodepublic DependencySet getDifferenceDependency(Node node)
getDifferenceDependency in class Nodepublic void addType(aterm.ATermAppl c,
DependencySet d)
public void addAllTypes(Map<aterm.ATermAppl,DependencySet> types, DependencySet ds)
public boolean hasSuccessor(Node x)
hasSuccessor in class Nodepublic String getLang()
public String getLexicalValue()
public Object getValue()
public final void prune(DependencySet ds)
public String debugString()
public NodeMerge getMergeToConstant()
public void clearMergeToConstant()
Copyright © 2019. All rights reserved.