org.semanticweb.HermiT.tableau
Class DisjunctionBranchingPoint
java.lang.Object
org.semanticweb.HermiT.tableau.BranchingPoint
org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint
- All Implemented Interfaces:
- Serializable
public final class DisjunctionBranchingPoint
- 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_groundDisjunction
protected final GroundDisjunction m_groundDisjunction
m_sortedDisjunctIndexes
protected final int[] m_sortedDisjunctIndexes
m_currentIndex
protected int m_currentIndex
DisjunctionBranchingPoint
public DisjunctionBranchingPoint(Tableau tableau,
GroundDisjunction groundDisjunction,
int[] sortedDisjunctIndexes)
startNextChoice
public void startNextChoice(Tableau tableau,
DependencySet clashDependencySet)
- Overrides:
startNextChoice
in class BranchingPoint
Copyright © 2012. All Rights Reserved.