org.mindswap.pellet.tableau.branch

Class IndividualBranch

java.lang.Object

org.mindswap.pellet.tableau.branch.Branch

org.mindswap.pellet.tableau.branch.IndividualBranch

Direct Known Subclasses:

GuessBranch, MaxBranch

public abstract class IndividualBranch
extends Branch

Field Summary

Fields

Modifier and Type	Field and Description
protected Individual	ind

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	IndividualBranch(ABox abox, CompletionStrategy strategy, Individual x, DependencySet ds, int n)

Method Summary

Modifier and Type	Method and Description
Node	getNode()

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

copyTo, getAnonCount, getBranch, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setAnonCount, setBranch, setLastClash, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, shiftTryNext, toString, tryBranch, tryNext

Methods inherited from class java.lang.Object

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

Field Detail

ind

protected Individual ind

Constructor Detail

IndividualBranch

protected IndividualBranch(ABox abox,
                           CompletionStrategy strategy,
                           Individual x,
                           DependencySet ds,
                           int n)

Method Detail

getNode

public Node getNode()

Specified by:

getNode in class Branch