Package openllet.core.tableau.branch
Class ChooseBranch
- java.lang.Object
-
- openllet.core.tableau.branch.Branch
-
- openllet.core.tableau.branch.DisjunctionBranch
-
- openllet.core.tableau.branch.ChooseBranch
-
- All Implemented Interfaces:
java.lang.Comparable<Branch>
public class ChooseBranch extends DisjunctionBranch
-
-
Constructor Summary
Constructors Constructor Description ChooseBranch(ABox abox, CompletionStrategy completion, Node node, openllet.aterm.ATermAppl c, DependencySet ds)
-
Method Summary
-
Methods inherited from class openllet.core.tableau.branch.DisjunctionBranch
copyTo, getDisjunct, getNode, printLong, setDisj, setLastClash, shiftTryNext
-
Methods inherited from class openllet.core.tableau.branch.Branch
compareTo, getAnonCount, getBranchIndexInABox, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, toString, tryNext
-
-
-
-
Constructor Detail
-
ChooseBranch
public ChooseBranch(ABox abox, CompletionStrategy completion, Node node, openllet.aterm.ATermAppl c, DependencySet ds)
-
-