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