org.mindswap.pellet.tableau.branch
Class Branch

java.lang.Object
  extended by org.mindswap.pellet.tableau.branch.Branch
Direct Known Subclasses:
DisjunctionBranch, IndividualBranch, RuleBranch

public abstract class Branch
extends java.lang.Object

Title:

Description:

Copyright: Copyright (c) 2009

Company: Clark & Parsia, LLC.

Author:
Evren Sirin

Field Summary
static java.util.logging.Logger log
           
 
Method Summary
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.
 java.lang.String toString()
           
 boolean tryNext()
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

log

public static final java.util.logging.Logger log
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 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.