Package openllet.core.boxes.abox

Class Literal

java.lang.Object

openllet.core.boxes.abox.Node

openllet.core.boxes.abox.Literal

public class Literal
extends Node

Author:

Evren Sirin

Field Summary

Fields inherited from class openllet.core.boxes.abox.Node

_logger, ALL, ATOM, BLOCKABLE, MAX, MIN, NOM, NOMINAL, OR, SOME, TYPES

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	addAllTypes(java.util.Map<openllet.aterm.ATermAppl,DependencySet> types, DependencySet ds)
void	addType(openllet.aterm.ATermAppl c, DependencySet d)
void	clearMergeToConstant()
Node	copyTo(ABoxImpl abox)
DependencySet	getDifferenceDependency(Node node)
java.lang.String	getLang()
java.lang.String	getLexicalValue()
NodeMerge	getMergeToConstant()
DependencySet	getNodeDepends()
int	getNominalLevel()
Literal	getSame()
openllet.aterm.ATermAppl	getTerm()
java.lang.Object	getValue()
boolean	hasSuccessor(Node x)
boolean	hasType(openllet.aterm.ATerm typeParam)
boolean	isBlockable()
boolean	isDifferent(Node node)
boolean	isIndividual()
boolean	isLeaf()
boolean	isLiteral()
boolean	isNominal()
void	prune(DependencySet ds)
void	reportClash(Clash clash)
boolean	restore(int branch)
void	unprune(int branch)

Methods inherited from class openllet.core.boxes.abox.Node

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, removeInEdge, removeType, reset, restorePruned, setChanged, setConceptRoot, setDifferent, setSame, toString, types, undoSetSame

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Literal

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

Literal

public Literal(Literal literal,
               ABoxImpl abox)

Method Detail

getNodeDepends

public DependencySet getNodeDepends()

Specified by:

getNodeDepends in class Node

copyTo

public Node copyTo(ABoxImpl 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(openllet.aterm.ATerm typeParam)

Overrides:

hasType in class Node

getDifferenceDependency

public DependencySet getDifferenceDependency(Node node)

Overrides:

getDifferenceDependency in class Node

addType

public void addType(openllet.aterm.ATermAppl c,
                    DependencySet d)

Overrides:

addType in class Node

addAllTypes

public void addAllTypes(java.util.Map<openllet.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 openllet.aterm.ATermAppl getTerm()

Specified by:

getTerm in class Node

getLang

public java.lang.String getLang()

getLexicalValue

public java.lang.String getLexicalValue()

reportClash

public void reportClash(Clash clash)

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

getMergeToConstant

public NodeMerge getMergeToConstant()

clearMergeToConstant

public void clearMergeToConstant()