org.mindswap.pellet

Class Literal

java.lang.Object

org.mindswap.pellet.Node

org.mindswap.pellet.Literal

public class Literal
extends Node

Author:

Evren Sirin

Field Summary

Fields inherited from class org.mindswap.pellet.Node

abox, ALL, ATOM, BLOCKABLE, CHANGED, depends, differents, inEdges, log, MAX, merged, mergeDepends, mergedTo, MIN, name, NOM, NOMINAL, OR, pruned, SOME, TYPES, UNCHANGED

Constructor Summary

Constructors

Constructor and Description
Literal(aterm.ATermAppl name, aterm.ATermAppl term, ABox abox, DependencySet ds)
Literal(Literal literal, ABox abox)

Method Summary

Methods

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)

Methods inherited from class org.mindswap.pellet.Node

addInEdge, 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, resetTypes, restorePruned, setChanged, setConceptRoot, setDifferent, setSame, toString, undoSetSame, updateNodeReferences

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

Literal

public Literal(aterm.ATermAppl name,
       aterm.ATermAppl term,
       ABox abox,
       DependencySet ds)

Literal

public Literal(Literal literal,
       ABox abox)

Method Detail

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(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 String getLang()

getLexicalValue

public String getLexicalValue()

getValue

public 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 String debugString()

getMergeToConstant

public NodeMerge getMergeToConstant()

clearMergeToConstant

public void clearMergeToConstant()