Package openllet.core.tableau.branch

Class RuleBranch

java.lang.Object

openllet.core.tableau.branch.Branch

openllet.core.tableau.branch.RuleBranch

All Implemented Interfaces:

java.lang.Comparable<Branch>

public class RuleBranch
extends Branch

Field Summary

Fields inherited from class openllet.core.tableau.branch.Branch

_logger

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class openllet.core.tableau.branch.Branch

compareTo, getAnonCount, getBranchIndexInABox, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, toString, tryNext

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RuleBranch

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

RuleBranch

public RuleBranch(RuleBranch rb,
                  ABox abox)

Method Detail

getNode

public Node getNode()

Specified by:

getNode in class Branch

copyTo

@Deprecated
public RuleBranch copyTo(ABox abox)

Deprecated.

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:

openIndex - The shift _index