org.semanticweb.HermiT.existentials
Class IndividualReuseStrategy.IndividualReuseBranchingPoint

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.BranchingPoint
      extended by 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

Field Summary
protected  AtLeastConcept m_existential
           
protected  Node m_node
           
protected  boolean m_wasParentReuse
           
 
Fields inherited from class org.semanticweb.HermiT.tableau.BranchingPoint
m_firstGroundDisjunction, m_firstUnprocessedGroundDisjunction, m_lastMergedOrPrunedNode, m_lastTableauNode, m_level
 
Constructor Summary
IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau, AtLeastConcept existential, Node node, boolean wasParentReuse)
           
 
Method Summary
 void startNextChoice(Tableau tableau, DependencySet clashDependencySet)
           
 
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_existential

protected final AtLeastConcept m_existential

m_node

protected final Node m_node

m_wasParentReuse

protected final boolean m_wasParentReuse
Constructor Detail

IndividualReuseStrategy.IndividualReuseBranchingPoint

public IndividualReuseStrategy.IndividualReuseBranchingPoint(Tableau tableau,
                                                             AtLeastConcept existential,
                                                             Node node,
                                                             boolean wasParentReuse)
Method Detail

startNextChoice

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