Package openllet.core.tableau.branch

Class Branch

java.lang.Object

openllet.core.tableau.branch.Branch

All Implemented Interfaces:

java.lang.Comparable<Branch>

Direct Known Subclasses:

DisjunctionBranch, IndividualBranch, RuleBranch

public abstract class Branch
extends java.lang.Object
implements java.lang.Comparable<Branch>

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:

Evren Sirin

Field Summary

Fields

Modifier and Type	Field	Description
static java.util.logging.Logger	_logger

Method Summary

Modifier and Type	Method	Description
int	compareTo(Branch that)
abstract Branch	copyTo(ABox abox)
int	getAnonCount()
int	getBranchIndexInABox()
DependencySet	getCombinedClash()
abstract Node	getNode()
int	getNodeCount()
DependencySet	getTermDepends()
int	getTryCount()
int	getTryNext()
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 branchIndex)	Added for to re-open closed branches.
java.lang.String	toString()
boolean	tryNext()

Methods inherited from class java.lang.Object

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

Field Detail

_logger

public static final java.util.logging.Logger _logger

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)

getNode

public abstract Node getNode()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

shiftTryNext

public abstract void shiftTryNext(int branchIndex)

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

Parameters:

branchIndex - The shift _index

setNodeCount

public void setNodeCount(int nodeCount)

Parameters:

nodeCount - the _nodeCount to set

getNodeCount

public int getNodeCount()

Returns:

the _nodeCount

getBranchIndexInABox

public int getBranchIndexInABox()

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

compareTo

public int compareTo(Branch that)

Specified by:

compareTo in interface java.lang.Comparable<Branch>