org.mindswap.pellet.tableau.branch

Class DisjunctionBranch

java.lang.Object

org.mindswap.pellet.tableau.branch.Branch

org.mindswap.pellet.tableau.branch.DisjunctionBranch

Direct Known Subclasses:

ChooseBranch

public class DisjunctionBranch
extends Branch

Field Summary

Fields

Modifier and Type	Field and Description
protected aterm.ATermAppl	disjunction
protected Node	node
protected int[]	order
protected DependencySet[]	prevDS

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

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

Constructor Summary

Constructors

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

Method Summary

Methods

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

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

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

Methods inherited from class java.lang.Object

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

Field Detail

node

protected Node node

disjunction

protected aterm.ATermAppl disjunction

prevDS

protected DependencySet[] prevDS

order

protected int[] order

Constructor Detail

DisjunctionBranch

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

Method Detail

getNode

public Node getNode()

Specified by:

getNode in class Branch

getDebugMsg

protected String getDebugMsg()

copyTo

public DisjunctionBranch copyTo(ABox abox)

Specified by:

copyTo in class Branch

setLastClash

public void setLastClash(DependencySet ds)

Overrides:

setLastClash in class Branch

tryBranch

protected void tryBranch()

Specified by:

tryBranch 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:

index - The shift index

printLong

public void printLong()

setDisj

public void setDisj(aterm.ATermAppl[] disj)

Parameters:

disj - the disj to set

getDisjunct

public aterm.ATermAppl getDisjunct(int i)

Returns:

the disj