|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |