org.mindswap.pellet.tableau.branch
Class ChooseBranch

java.lang.Object
  org.mindswap.pellet.tableau.branch.Branch
      org.mindswap.pellet.tableau.branch.IndividualBranch
          org.mindswap.pellet.tableau.branch.DisjunctionBranch
              org.mindswap.pellet.tableau.branch.ChooseBranch

public class ChooseBranch
extends DisjunctionBranch

Field Summary

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

log

Constructor Summary

ChooseBranch(ABox abox, CompletionStrategy completion, Individual x, aterm.ATermAppl c, DependencySet ds)

Method Summary

Methods inherited from class org.mindswap.pellet.tableau.branch.DisjunctionBranch

copyTo, getDisjunct, printLong, setDisj, setLastClash, shiftTryNext

Methods inherited from class org.mindswap.pellet.tableau.branch.IndividualBranch

getNode

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

ChooseBranch

public ChooseBranch(ABox abox,
                    CompletionStrategy completion,
                    Individual x,
                    aterm.ATermAppl c,
                    DependencySet ds)