org.mindswap.pellet.tableau.branch
Class DisjunctionBranch
java.lang.Object
org.mindswap.pellet.tableau.branch.Branch
org.mindswap.pellet.tableau.branch.DisjunctionBranch
- Direct Known Subclasses:
- ChooseBranch
public class DisjunctionBranch
- extends Branch
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch |
log |
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 |
DisjunctionBranch
public DisjunctionBranch(ABox abox,
CompletionStrategy completion,
Node node,
aterm.ATermAppl disjunction,
DependencySet ds,
aterm.ATermAppl[] disj)
getNode
public Node getNode()
- Specified by:
getNode
in class Branch
copyTo
public DisjunctionBranch 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.