org.mindswap.pellet.tableau.branch
Class Branch
java.lang.Object
org.mindswap.pellet.tableau.branch.Branch
- Direct Known Subclasses:
- IndividualBranch, LiteralValueBranch, RuleBranch
public abstract class Branch
- extends java.lang.Object
|
Field Summary |
static java.util.logging.Logger |
log
|
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait |
log
public static final java.util.logging.Logger log
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 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
Copyright © 2004 Evren Sirin. All Rights Reserved.