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

Packages that use DLClauseEvaluator

Package	Description
org.semanticweb.HermiT.debugger
org.semanticweb.HermiT.monitor

Uses of DLClauseEvaluator in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger with parameters of type DLClauseEvaluator

Modifier and Type	Method and Description
void	DerivationHistory.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)

Uses of DLClauseEvaluator in org.semanticweb.HermiT.monitor

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

Modifier and Type	Method and Description
void	TableauMonitorAdapter.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitorFork.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitor.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitorForwarder.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitorAdapter.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitorFork.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitor.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
void	TableauMonitorForwarder.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)