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, toString, 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
getSame
public final Literal getSame()
- Overrides:
getSame
in class Node
getTerm
public aterm.ATermAppl getTerm()
- Specified by:
getTerm
in class Node
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
debugString
public java.lang.String debugString()
getMergeToConstant
public NodeMerge getMergeToConstant()
clearMergeToConstant
public void clearMergeToConstant()
Copyright © 2004 Evren Sirin. All Rights Reserved.