Package openllet.core.tableau.branch

Class MaxBranch

java.lang.Object

openllet.core.tableau.branch.Branch

openllet.core.tableau.branch.IndividualBranch

openllet.core.tableau.branch.MaxBranch

All Implemented Interfaces:

java.lang.Comparable<Branch>

public class MaxBranch
extends IndividualBranch

Field Summary

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

_logger

Constructor Summary

Constructors

Constructor	Description
MaxBranch(ABox abox, MaxBranch mb)
MaxBranch(ABox abox, CompletionStrategy strategy, Individual x, Role r, int n, openllet.aterm.ATermAppl qualification, java.util.List<NodeMerge> mergePairs, DependencySet ds)

Method Summary

Modifier and Type	Method	Description
IndividualBranch	copyTo(ABox abox)
void	setLastClash(DependencySet ds)
void	shiftTryNext(int openIndex)	Added for to re-open closed branches.
java.lang.String	toString()

Methods inherited from class openllet.core.tableau.branch.IndividualBranch

getNode

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

compareTo, getAnonCount, getBranchIndexInABox, getCombinedClash, getNodeCount, getTermDepends, getTryCount, getTryNext, setNodeCount, setStrategy, setTermDepends, setTryCount, setTryNext, tryNext

Methods inherited from class java.lang.Object

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

Constructor Detail

MaxBranch

public MaxBranch(ABox abox,
                 CompletionStrategy strategy,
                 Individual x,
                 Role r,
                 int n,
                 openllet.aterm.ATermAppl qualification,
                 java.util.List<NodeMerge> mergePairs,
                 DependencySet ds)

MaxBranch

public MaxBranch(ABox abox,
                 MaxBranch mb)

Method Detail

copyTo

public IndividualBranch copyTo(ABox abox)

Specified by:

copyTo in class Branch

setLastClash

public void setLastClash(DependencySet ds)

Overrides:

setLastClash in class Branch

toString

public java.lang.String toString()

Overrides:

toString in class Branch

shiftTryNext

public void shiftTryNext(int openIndex)

Added for to re-open closed branches. This is needed for incremental reasoning through deletions

Specified by:

shiftTryNext in class Branch

Parameters:

openIndex - The shift _index