org.mindswap.pellet.tableau.branch

Class Branch

java.lang.Object

org.mindswap.pellet.tableau.branch.Branch

Direct Known Subclasses:

DisjunctionBranch, IndividualBranch, RuleBranch

public abstract class Branch
extends Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field and Description
protected ABox	abox
protected int	anonCount
protected int	branch
static Logger	log
protected int	nodeCount
protected CompletionStrategy	strategy
protected int	tryCount
protected int	tryNext

Method Summary

Modifier and Type	Method and Description
abstract Branch	copyTo(ABox abox)
int	getAnonCount()
int	getBranch()
DependencySet	getCombinedClash()
abstract Node	getNode()
int	getNodeCount()
DependencySet	getTermDepends()
int	getTryCount()
int	getTryNext()
void	setAnonCount(int anonCount)
void	setBranch(int branch)
void	setLastClash(DependencySet ds)
void	setNodeCount(int nodeCount)
void	setStrategy(CompletionStrategy strategy)
void	setTermDepends(DependencySet termDepends)
void	setTryCount(int tryCount)
void	setTryNext(int tryNext)
abstract void	shiftTryNext(int index) Added for to re-open closed branches.
String	toString()
protected abstract void	tryBranch()
boolean	tryNext()

Methods inherited from class java.lang.Object

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

Field Detail

log

public static final Logger log

abox

protected ABox abox

strategy

protected CompletionStrategy strategy

branch

protected int branch

tryCount

protected int tryCount

tryNext

protected int tryNext

anonCount

protected int anonCount

nodeCount

protected int nodeCount

Method Detail

setLastClash

public void setLastClash(DependencySet ds)

getCombinedClash

public DependencySet getCombinedClash()

setStrategy

public void setStrategy(CompletionStrategy strategy)

tryNext

public boolean tryNext()

copyTo

public abstract Branch copyTo(ABox abox)

tryBranch

protected abstract void tryBranch()

getNode

public abstract Node getNode()

toString

public String toString()

Overrides:

toString in class Object

shiftTryNext

public abstract void shiftTryNext(int index)

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

Parameters:

index - The shift index

setNodeCount

public void setNodeCount(int nodeCount)

Parameters:

nodeCount - the nodeCount to set

getNodeCount

public int getNodeCount()

Returns:

the nodeCount

setBranch

public void setBranch(int branch)

getBranch

public int getBranch()

Returns:

the branch

getAnonCount

public int getAnonCount()

Returns:

the anonCount

setTryNext

public void setTryNext(int tryNext)

Parameters:

tryNext - the tryNext to set

getTryNext

public int getTryNext()

Returns:

the tryNext

setTryCount

public void setTryCount(int tryCount)

Parameters:

tryCount - the tryCount to set

getTryCount

public int getTryCount()

Returns:

the tryCount

setTermDepends

public void setTermDepends(DependencySet termDepends)

Parameters:

termDepends - the termDepends to set

getTermDepends

public DependencySet getTermDepends()

Returns:

the termDepends

setAnonCount

public void setAnonCount(int anonCount)

Parameters:

anonCount - the anonCount to set