org.semanticweb.HermiT.tableau
Class BranchingPoint
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
BranchingPoint
public BranchingPoint(Tableau tableau)
getLevel
public int getLevel()
startNextChoice
public void startNextChoice(Tableau tableau,
DependencySet clashDepdendencySet)