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

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.