org.mindswap.pellet.tableau.branch
Class LiteralValueBranch

java.lang.Object
  extended by org.mindswap.pellet.tableau.branch.Branch
      extended by org.mindswap.pellet.tableau.branch.LiteralValueBranch

public class LiteralValueBranch
extends Branch


Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch
log
 
Constructor Summary
LiteralValueBranch(ABox abox, CompletionStrategy strategy, Literal lit, Datatype datatype)
           
 
Method Summary
 Branch copyTo(ABox abox)
           
 Node getNode()
           
 void shiftTryNext(int openIndex)
          Added for to re-open closed branches.
 java.lang.String toString()
           
 
Methods inherited from class org.mindswap.pellet.tableau.branch.Branch
getAnonCount, getBranch, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setAnonCount, setBranch, setLastClash, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, tryNext
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

LiteralValueBranch

public LiteralValueBranch(ABox abox,
                          CompletionStrategy strategy,
                          Literal lit,
                          Datatype datatype)
Method Detail

copyTo

public Branch copyTo(ABox abox)
Specified by:
copyTo in class Branch

toString

public java.lang.String toString()
Overrides:
toString in class Branch

shiftTryNext

public void shiftTryNext(int openIndex)
Added for to re-open closed branches. This is needed for incremental reasoning through deletions

Specified by:
shiftTryNext in class Branch
Parameters:
index - The shift index

getNode

public Node getNode()
Specified by:
getNode in class Branch


Copyright © 2004 Evren Sirin. All Rights Reserved.