org.mindswap.pellet.tableau.branch
Class RuleBranch
java.lang.Object
org.mindswap.pellet.tableau.branch.Branch
org.mindswap.pellet.tableau.branch.RuleBranch
public class RuleBranch
- 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 |
RuleBranch
public RuleBranch(ABox abox,
CompletionStrategy completion,
RuleAtomAsserter ruleAtomAsserter,
java.util.List<RuleAtom> atoms,
VariableBinding binding,
int bodyAtomCount,
DependencySet ds)
getNode
public Node getNode()
- Specified by:
getNode
in class Branch
copyTo
public RuleBranch 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 Currently this method does nothing as we
cannot support incremental reasoning when both rules are used in the KB
- Specified by:
shiftTryNext
in class Branch
- Parameters:
index
- The shift index
Copyright © 2004 Evren Sirin. All Rights Reserved.