org.semanticweb.HermiT.tableau
Class NominalIntroductionManager.NominalIntroductionBranchingPoint

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.BranchingPoint
      extended by org.semanticweb.HermiT.tableau.NominalIntroductionManager.NominalIntroductionBranchingPoint
All Implemented Interfaces:
java.io.Serializable
Enclosing class:
NominalIntroductionManager

protected class NominalIntroductionManager.NominalIntroductionBranchingPoint
extends BranchingPoint

See Also:
Serialized Form

Field Summary
protected  AnnotatedEquality m_annotatedEquality
           
protected  int m_currentRootNode
           
protected  Node m_niTargetNode
           
protected  Node m_otherNode
           
protected  Node m_rootNode
           
 
Fields inherited from class org.semanticweb.HermiT.tableau.BranchingPoint
m_firstGroundDisjunction, m_firstUnprocessedGroundDisjunction, m_lastMergedOrPrunedNode, m_lastTableauNode, m_level
 
Constructor Summary
NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau, Node rootNode, Node niTargetNode, Node otherNode, AnnotatedEquality annotatedEquality)
           
 
Method Summary
 void startNextChoice(Tableau tableau, DependencySet clashDepdendencySet)
           
 
Methods inherited from class org.semanticweb.HermiT.tableau.BranchingPoint
getLevel
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_rootNode

protected final Node m_rootNode

m_niTargetNode

protected final Node m_niTargetNode

m_otherNode

protected final Node m_otherNode

m_annotatedEquality

protected final AnnotatedEquality m_annotatedEquality

m_currentRootNode

protected int m_currentRootNode
Constructor Detail

NominalIntroductionManager.NominalIntroductionBranchingPoint

public NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau,
                                                                    Node rootNode,
                                                                    Node niTargetNode,
                                                                    Node otherNode,
                                                                    AnnotatedEquality annotatedEquality)
Method Detail

startNextChoice

public void startNextChoice(Tableau tableau,
                            DependencySet clashDepdendencySet)
Overrides:
startNextChoice in class BranchingPoint