org.mindswap.pellet.tableau.branch
Class DisjunctionBranch

java.lang.Object
  extended by org.mindswap.pellet.tableau.branch.Branch
      extended by org.mindswap.pellet.tableau.branch.IndividualBranch
          extended by org.mindswap.pellet.tableau.branch.DisjunctionBranch
Direct Known Subclasses:
ChooseBranch

public class DisjunctionBranch
extends IndividualBranch


Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch
log
 
Constructor Summary
DisjunctionBranch(ABox abox, CompletionStrategy completion, Individual x, aterm.ATermAppl disjunction, DependencySet ds, aterm.ATermAppl[] disj)
           
 
Method Summary
 IndividualBranch copyTo(ABox abox)
           
 aterm.ATermAppl getDisjunct(int i)
           
 void printLong()
           
 void setDisj(aterm.ATermAppl[] disj)
           
 void setLastClash(DependencySet ds)
           
 void shiftTryNext(int openIndex)
          Added for to re-open closed branches.
 
Methods inherited from class org.mindswap.pellet.tableau.branch.IndividualBranch
getNode
 
Methods inherited from class org.mindswap.pellet.tableau.branch.Branch
getAnonCount, getBranch, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setAnonCount, setBranch, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, toString, tryNext
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

DisjunctionBranch

public DisjunctionBranch(ABox abox,
                         CompletionStrategy completion,
                         Individual x,
                         aterm.ATermAppl disjunction,
                         DependencySet ds,
                         aterm.ATermAppl[] disj)
Method Detail

copyTo

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

setLastClash

public void setLastClash(DependencySet ds)
Overrides:
setLastClash 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

printLong

public void printLong()

setDisj

public void setDisj(aterm.ATermAppl[] disj)
Parameters:
disj - the disj to set

getDisjunct

public aterm.ATermAppl getDisjunct(int i)
Returns:
the disj


Copyright © 2004 Evren Sirin. All Rights Reserved.