Uses of Interface
org.semanticweb.HermiT.monitor.TableauMonitor

Packages that use TableauMonitor
org.semanticweb.HermiT   
org.semanticweb.HermiT.debugger   
org.semanticweb.HermiT.monitor   
org.semanticweb.HermiT.tableau   
 

Uses of TableauMonitor in org.semanticweb.HermiT
 

Fields in org.semanticweb.HermiT declared as TableauMonitor
 TableauMonitor Configuration.monitor
          Can be used to set a custom Tableau monitor.
 

Uses of TableauMonitor in org.semanticweb.HermiT.debugger
 

Classes in org.semanticweb.HermiT.debugger that implement TableauMonitor
 class Debugger
           
 class DerivationHistory
           
 

Uses of TableauMonitor in org.semanticweb.HermiT.monitor
 

Classes in org.semanticweb.HermiT.monitor that implement TableauMonitor
 class CountingMonitor
           
 class MemoryConsumptionMonitor
           
 class TableauMonitorAdapter
           
 class TableauMonitorFork
           
 class TableauMonitorForwarder
           
 class Timer
           
 class TimerWithPause
           
 

Fields in org.semanticweb.HermiT.monitor declared as TableauMonitor
protected  TableauMonitor TableauMonitorFork.m_first
           
protected  TableauMonitor TableauMonitorForwarder.m_forwardingTargetMonitor
           
protected  TableauMonitor TableauMonitorFork.m_second
           
 

Constructors in org.semanticweb.HermiT.monitor with parameters of type TableauMonitor
TableauMonitorFork(TableauMonitor first, TableauMonitor second)
           
TableauMonitorForwarder(TableauMonitor forwardingTargetMontior)
           
 

Uses of TableauMonitor in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as TableauMonitor
protected  TableauMonitor Tableau.m_tableauMonitor
           
protected  TableauMonitor MergingManager.m_tableauMonitor
           
protected  TableauMonitor ExtensionTable.m_tableauMonitor
           
protected  TableauMonitor ExtensionManager.m_tableauMonitor
           
protected  TableauMonitor DLClauseEvaluator.CallMatchStartedOnMonitor.m_tableauMonitor
           
protected  TableauMonitor DLClauseEvaluator.CallMatchFinishedOnMonitor.m_tableauMonitor
           
protected  TableauMonitor DescriptionGraphManager.m_tableauMonitor
           
protected  TableauMonitor DatatypeManager.m_tableauMonitor
           
protected  TableauMonitor ClashManager.m_tableauMonitor
           
 

Methods in org.semanticweb.HermiT.tableau that return TableauMonitor
 TableauMonitor Tableau.getTableauMonitor()
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type TableauMonitor
DLClauseEvaluator.CallMatchFinishedOnMonitor(TableauMonitor tableauMonitor, DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
DLClauseEvaluator.CallMatchStartedOnMonitor(TableauMonitor tableauMonitor, DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, java.util.Map<java.lang.String,java.lang.Object> parameters)