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

Packages that use TableauMonitor

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

Modifier and Type	Field and Description
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

Modifier and Type	Class and Description
class	Debugger Debugger
class	DerivationHistory DerivationHistory.

Uses of TableauMonitor in org.semanticweb.HermiT.monitor

Classes in org.semanticweb.HermiT.monitor that implement TableauMonitor

Modifier and Type	Class and Description
class	CountingMonitor Counting monitor.
class	TableauMonitorAdapter TableauMonitorAdapter.
class	TableauMonitorFork TableauMonitorFork.
class	TableauMonitorForwarder TableauMonitorForwarder.
class	Timer Timer.
class	TimerWithPause TimerWithPause.

Constructors in org.semanticweb.HermiT.monitor with parameters of type TableauMonitor

Constructor and Description
TableauMonitorFork(TableauMonitor first, TableauMonitor second)
TableauMonitorForwarder(TableauMonitor forwardingTargetMontior)

Uses of TableauMonitor in org.semanticweb.HermiT.tableau

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

Modifier and Type	Method and Description
TableauMonitor	Tableau.getTableauMonitor()

Constructors in org.semanticweb.HermiT.tableau with parameters of type TableauMonitor

Constructor and Description
Tableau(InterruptFlag interruptFlag, TableauMonitor tableauMonitor, ExistentialExpansionStrategy existentialsExpansionStrategy, boolean useDisjunctionLearning, DLOntology permanentDLOntology, DLOntology additionalDLOntology, Map<String,Object> parameters)