Uses of Class
org.semanticweb.HermiT.tableau.BranchingPoint

Packages that use BranchingPoint

Package	Description
org.semanticweb.HermiT.debugger
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

Modifier and Type	Method and Description
void	DerivationHistory.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)

Uses of BranchingPoint in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type BranchingPoint

Modifier and Type	Method and Description
void	TableauMonitorAdapter.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitorFork.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	CountingMonitor.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitor.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	Timer.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitorForwarder.backtrackToFinished(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitorAdapter.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitorFork.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitor.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitorForwarder.backtrackToStarted(BranchingPoint newCurrentBrancingPoint)
void	TableauMonitorAdapter.pushBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitorFork.pushBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitor.pushBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitorForwarder.pushBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitorAdapter.pushBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitorFork.pushBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitor.pushBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitorForwarder.pushBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitorAdapter.startNextBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitorFork.startNextBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitor.startNextBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitorForwarder.startNextBranchingPointFinished(BranchingPoint branchingPoint)
void	TableauMonitorAdapter.startNextBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitorFork.startNextBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitor.startNextBranchingPointStarted(BranchingPoint branchingPoint)
void	TableauMonitorForwarder.startNextBranchingPointStarted(BranchingPoint branchingPoint)

Uses of BranchingPoint in org.semanticweb.HermiT.tableau

Subclasses of BranchingPoint in org.semanticweb.HermiT.tableau

Modifier and Type	Class and Description
class	DisjunctionBranchingPoint Disjunction branching point.

Methods in org.semanticweb.HermiT.tableau that return BranchingPoint

Modifier and Type	Method and Description
BranchingPoint	Tableau.getCurrentBranchingPoint()

Methods in org.semanticweb.HermiT.tableau with parameters of type BranchingPoint

Modifier and Type	Method and Description
void	Tableau.pushBranchingPoint(BranchingPoint branchingPoint) Add a branching point in case we need to backtrack to this state.