org.mindswap.pellet
Class Literal

java.lang.Object
  extended by org.mindswap.pellet.Node
      extended by org.mindswap.pellet.Literal

public class Literal
extends Node

Author:
Evren Sirin

Field Summary
 
Fields inherited from class org.mindswap.pellet.Node
ALL, ATOM, BLOCKABLE, CHANGED, log, MAX, MIN, NOM, NOMINAL, OR, SOME, TYPES, UNCHANGED
 
Constructor Summary
Literal(aterm.ATermAppl name, aterm.ATermAppl term, ABox abox, DependencySet ds)
           
Literal(Literal literal, ABox abox)
           
 
Method Summary
 void addAllTypes(java.util.Map<aterm.ATermAppl,DependencySet> types, DependencySet ds)
           
 void addType(aterm.ATermAppl c, DependencySet d)
           
 void clearMergeToConstant()
           
 Node copyTo(ABox abox)
           
 java.lang.String debugString()
           
 DependencySet getDifferenceDependency(Node node)
           
 java.lang.String getLang()
           
 java.lang.String getLexicalValue()
           
 NodeMerge getMergeToConstant()
           
 DependencySet getNodeDepends()
           
 int getNominalLevel()
           
 Literal getSame()
           
 aterm.ATermAppl getTerm()
           
 java.lang.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
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
 

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(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.