|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.semanticweb.HermiT.tableau.BranchingPoint
org.semanticweb.HermiT.tableau.DisjunctionBranchingPoint
public final class DisjunctionBranchingPoint
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 |
---|
protected final GroundDisjunction m_groundDisjunction
protected final int[] m_sortedDisjunctIndexes
protected int m_currentIndex
Constructor Detail |
---|
public DisjunctionBranchingPoint(Tableau tableau, GroundDisjunction groundDisjunction, int[] sortedDisjunctIndexes)
Method Detail |
---|
public void startNextChoice(Tableau tableau, DependencySet clashDependencySet)
startNextChoice
in class BranchingPoint
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |