|
||||||||||
| 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 | |||||||||