org.semanticweb.HermiT.existentials
Class IndividualReuseStrategy.IndividualReuseBranchingPoint
java.lang.Object
org.semanticweb.HermiT.tableau.BranchingPoint
org.semanticweb.HermiT.existentials.IndividualReuseStrategy.IndividualReuseBranchingPoint
- All Implemented Interfaces:
- java.io.Serializable
- Enclosing class:
- IndividualReuseStrategy
protected class IndividualReuseStrategy.IndividualReuseBranchingPoint
- 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_existential
protected final AtLeastConcept m_existential
m_node
protected final Node m_node
m_wasParentReuse
protected final boolean m_wasParentReuse
IndividualReuseStrategy.IndividualReuseBranchingPoint
public IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau,
AtLeastConcept existential,
Node node,
boolean wasParentReuse)
startNextChoice
public void startNextChoice(Tableau tableau,
DependencySet clashDependencySet)
- Overrides:
startNextChoice
in class BranchingPoint