org.mindswap.pellet.tableau.branch

Class ChooseBranch

java.lang.Object

org.mindswap.pellet.tableau.branch.Branch

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.DisjunctionBranch

disjunction, node, order, prevDS

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

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

Constructor Summary

Constructors

Constructor and Description
ChooseBranch(ABox abox, CompletionStrategy completion, Node node, aterm.ATermAppl c, DependencySet ds)

Method Summary

Methods

Modifier and Type	Method and Description
protected String	getDebugMsg()

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

copyTo, getDisjunct, getNode, printLong, setDisj, setLastClash, shiftTryNext, 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

ChooseBranch

public ChooseBranch(ABox abox,
            CompletionStrategy completion,
            Node node,
            aterm.ATermAppl c,
            DependencySet ds)

Method Detail

getDebugMsg

protected String getDebugMsg()

Overrides:

getDebugMsg in class DisjunctionBranch