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

Field Summary

Fields inherited from class openllet.core.tableau.branch.Branch

_logger

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ChooseBranch

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