org.semanticweb.HermiT.tableau
Class DisjunctionBranchingPoint

java.lang.Object
  extended by org.semanticweb.HermiT.tableau.BranchingPoint
      extended by org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint
All Implemented Interfaces:
java.io.Serializable

public final class DisjunctionBranchingPoint
extends BranchingPoint

See Also:
Serialized Form

Field Summary
protected  int m_currentIndex
           
protected  GroundDisjunction m_groundDisjunction
           
protected  int[] m_sortedDisjunctIndexes
           
 
Fields inherited from class org.semanticweb.HermiT.tableau.BranchingPoint
m_firstGroundDisjunction, m_firstUnprocessedGroundDisjunction, m_lastMergedOrPrunedNode, m_lastTableauNode, m_level
 
Constructor Summary
DisjunctionBranchingPoint(Tableau tableau, GroundDisjunction groundDisjunction, int[] sortedDisjunctIndexes)
           
 
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_groundDisjunction

protected final GroundDisjunction m_groundDisjunction

m_sortedDisjunctIndexes

protected final int[] m_sortedDisjunctIndexes

m_currentIndex

protected int m_currentIndex
Constructor Detail

DisjunctionBranchingPoint

public DisjunctionBranchingPoint(Tableau tableau,
                                 GroundDisjunction groundDisjunction,
                                 int[] sortedDisjunctIndexes)
Method Detail

startNextChoice

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