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

Field Summary

Fields inherited from class org.mindswap.pellet.tableau.branch.Branch

abox, anonCount, branch, log, nodeCount, strategy, tryCount, tryNext

Constructor Summary

Constructors

Constructor and Description
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)

Method Summary

Modifier and Type	Method and Description
RuleBranch	copyTo(ABox abox)
Node	getNode()
void	setLastClash(DependencySet ds)
void	shiftTryNext(int openIndex) Added for to re-open closed branches.
protected void	tryBranch()

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

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RuleBranch

public RuleBranch(ABox abox,
                  CompletionStrategy completion,
                  RuleAtomAsserter ruleAtomAsserter,
                  List<RuleAtom> atoms,
                  VariableBinding binding,
                  int bodyAtomCount,
                  DependencySet ds)

Method Detail

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

tryBranch

protected void tryBranch()

Specified by:

tryBranch 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