org.semanticweb.HermiT.tableau
Class BranchingPoint

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.BranchingPoint
All Implemented Interfaces:
java.io.Serializable
Direct Known Subclasses:
DisjunctionBranchingPoint, IndividualReuseStrategy.IndividualReuseBranchingPoint, NominalIntroductionManager.NominalIntroductionBranchingPoint

public class BranchingPoint
extends java.lang.Object
implements java.io.Serializable

Represents a branching point for the tableau given to the constructor.

See Also:
Serialized Form

Field Summary
protected  GroundDisjunction m_firstGroundDisjunction
           
protected  GroundDisjunction m_firstUnprocessedGroundDisjunction
           
protected  Node m_lastMergedOrPrunedNode
           
protected  Node m_lastTableauNode
           
protected  int m_level
           
 
Constructor Summary
BranchingPoint(Tableau tableau)
           
 
Method Summary
 int getLevel()
           
 void startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_level

protected final int m_level

m_lastTableauNode

protected final Node m_lastTableauNode

m_lastMergedOrPrunedNode

protected final Node m_lastMergedOrPrunedNode

m_firstGroundDisjunction

protected final GroundDisjunction m_firstGroundDisjunction

m_firstUnprocessedGroundDisjunction

protected final GroundDisjunction m_firstUnprocessedGroundDisjunction
Constructor Detail

BranchingPoint

public BranchingPoint(Tableau tableau)
Method Detail

getLevel

public int getLevel()

startNextChoice

public void startNextChoice(Tableau tableau,
                            DependencySet clashDepdendencySet)