org.mindswap.pellet.tableau.branch
Class RuleBranch

java.lang.Object
  extended by org.mindswap.pellet.tableau.branch.Branch
      extended by org.mindswap.pellet.tableau.branch.RuleBranch

public class RuleBranch
extends Branch


Field Summary
 
Fields inherited from class org.mindswap.pellet.tableau.branch.Branch
log
 
Constructor Summary
RuleBranch(ABox abox, CompletionStrategy completion, RuleAtomAsserter ruleAtomAsserter, java.util.List<RuleAtom> atoms, VariableBinding binding, int bodyAtomCount, DependencySet ds)
           
 
Method Summary
 RuleBranch copyTo(ABox abox)
           
 Node getNode()
           
 void setLastClash(DependencySet ds)
           
 void shiftTryNext(int openIndex)
          Added for to re-open closed branches.
 
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
 

Constructor Detail

RuleBranch

public RuleBranch(ABox abox,
                  CompletionStrategy completion,
                  RuleAtomAsserter ruleAtomAsserter,
                  java.util.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

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.