org.semanticweb.HermiT.tableau
Class NominalIntroductionManager.NominalIntroductionBranchingPoint
java.lang.Object
org.semanticweb.HermiT.tableau.BranchingPoint
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
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
NominalIntroductionManager.NominalIntroductionBranchingPoint
public NominalIntroductionManager.NominalIntroductionBranchingPoint(Tableau tableau,
Node rootNode,
Node niTargetNode,
Node otherNode,
AnnotatedEquality annotatedEquality)
startNextChoice
public void startNextChoice(Tableau tableau,
DependencySet clashDepdendencySet)
- Overrides:
startNextChoice
in class BranchingPoint