|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use BranchingPoint | |
|---|---|
| org.semanticweb.HermiT.debugger | |
| org.semanticweb.HermiT.existentials | |
| org.semanticweb.HermiT.monitor | |
| org.semanticweb.HermiT.tableau | |
| Uses of BranchingPoint in org.semanticweb.HermiT.debugger |
|---|
| Methods in org.semanticweb.HermiT.debugger with parameters of type BranchingPoint | |
|---|---|
void |
DerivationHistory.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
| Uses of BranchingPoint in org.semanticweb.HermiT.existentials |
|---|
| Subclasses of BranchingPoint in org.semanticweb.HermiT.existentials | |
|---|---|
protected class |
IndividualReuseStrategy.IndividualReuseBranchingPoint
|
| Uses of BranchingPoint in org.semanticweb.HermiT.monitor |
|---|
| Methods in org.semanticweb.HermiT.monitor with parameters of type BranchingPoint | |
|---|---|
void |
Timer.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorForwarder.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorFork.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorAdapter.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitor.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
CountingMonitor.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorForwarder.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorFork.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorAdapter.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitor.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
|
void |
TableauMonitorForwarder.pushBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitorFork.pushBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitorAdapter.pushBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitor.pushBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitorForwarder.pushBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitorFork.pushBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitorAdapter.pushBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitor.pushBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitorForwarder.startNextBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitorFork.startNextBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitorAdapter.startNextBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitor.startNextBranchingPointFinished(BranchingPoint branchingPoint)
|
void |
TableauMonitorForwarder.startNextBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitorFork.startNextBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitorAdapter.startNextBranchingPointStarted(BranchingPoint branchingPoint)
|
void |
TableauMonitor.startNextBranchingPointStarted(BranchingPoint branchingPoint)
|
| Uses of BranchingPoint in org.semanticweb.HermiT.tableau |
|---|
| Subclasses of BranchingPoint in org.semanticweb.HermiT.tableau | |
|---|---|
class |
DisjunctionBranchingPoint
|
protected class |
NominalIntroductionManager.NominalIntroductionBranchingPoint
|
| Fields in org.semanticweb.HermiT.tableau declared as BranchingPoint | |
|---|---|
protected BranchingPoint[] |
Tableau.m_branchingPoints
|
| Methods in org.semanticweb.HermiT.tableau that return BranchingPoint | |
|---|---|
BranchingPoint |
Tableau.getCurrentBranchingPoint()
|
| Methods in org.semanticweb.HermiT.tableau with parameters of type BranchingPoint | |
|---|---|
void |
Tableau.pushBranchingPoint(BranchingPoint branchingPoint)
Add a branching point in case we need to backtrack to this state. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||