org.mindswap.pellet.tableau.branch
Class MaxBranch
java.lang.Object
org.mindswap.pellet.tableau.branch.Branch
org.mindswap.pellet.tableau.branch.IndividualBranch
org.mindswap.pellet.tableau.branch.MaxBranch
public class MaxBranch
- extends IndividualBranch
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, tryNext |
Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
MaxBranch
public MaxBranch(ABox abox,
CompletionStrategy strategy,
Individual x,
Role r,
int n,
aterm.ATermAppl qualification,
java.util.List<NodeMerge> mergePairs,
DependencySet ds)
copyTo
public IndividualBranch copyTo(ABox abox)
- Specified by:
copyTo
in class Branch
setLastClash
public void setLastClash(DependencySet ds)
- Overrides:
setLastClash
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
Copyright © 2004 Evren Sirin. All Rights Reserved.