Package openllet.core.tableau.branch

Class DisjunctionBranch

java.lang.Object

openllet.core.tableau.branch.Branch

openllet.core.tableau.branch.DisjunctionBranch

All Implemented Interfaces:

java.lang.Comparable<Branch>

Direct Known Subclasses:

ChooseBranch

public class DisjunctionBranch
extends Branch

Field Summary

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

_logger

Constructor Summary

Constructors

Constructor	Description
DisjunctionBranch(ABox abox, CompletionStrategy completion, Node node, openllet.aterm.ATermAppl disjunction, DependencySet ds, openllet.aterm.ATermAppl[] disj)
DisjunctionBranch(DisjunctionBranch dr, ABox abox)

Method Summary

Modifier and Type	Method	Description
DisjunctionBranch	copyTo(ABox abox)
openllet.aterm.ATermAppl	getDisjunct(int i)
Node	getNode()
void	printLong()
void	setDisj(openllet.aterm.ATermAppl[] disj)
void	setLastClash(DependencySet ds)
void	shiftTryNext(int openIndex)	Added for to re-open closed branches.

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

DisjunctionBranch

public DisjunctionBranch(ABox abox,
                         CompletionStrategy completion,
                         Node node,
                         openllet.aterm.ATermAppl disjunction,
                         DependencySet ds,
                         openllet.aterm.ATermAppl[] disj)

DisjunctionBranch

public DisjunctionBranch(DisjunctionBranch dr,
                         ABox abox)

Method Detail

getNode

public Node getNode()

Specified by:

getNode in class Branch

copyTo

public DisjunctionBranch copyTo(ABox abox)

Specified by:

copyTo in class Branch

setLastClash

public void setLastClash(DependencySet ds)

Overrides:

setLastClash 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

printLong

public void printLong()

setDisj

public void setDisj(openllet.aterm.ATermAppl[] disj)

Parameters:

disj - the _disj to set

getDisjunct

public openllet.aterm.ATermAppl getDisjunct(int i)

Parameters:

i -

Returns:

the disj