Uses of Class
org.semanticweb.HermiT.tableau.DatatypeManager.DConjunction

Packages that use DatatypeManager.DConjunction

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

Uses of DatatypeManager.DConjunction in org.semanticweb.HermiT.debugger

Methods in org.semanticweb.HermiT.debugger with parameters of type DatatypeManager.DConjunction

Modifier and Type	Method and Description
void	DerivationHistory.datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction, boolean result)
void	DerivationHistory.datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)

Uses of DatatypeManager.DConjunction in org.semanticweb.HermiT.monitor

Methods in org.semanticweb.HermiT.monitor with parameters of type DatatypeManager.DConjunction

Modifier and Type	Method and Description
void	TableauMonitorForwarder.datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction, boolean result)
void	TableauMonitorFork.datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction, boolean result)
void	TableauMonitorAdapter.datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction, boolean result)
void	TableauMonitor.datatypeConjunctionCheckingFinished(DatatypeManager.DConjunction conjunction, boolean result)
void	TableauMonitorForwarder.datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
void	TableauMonitorFork.datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
void	TableauMonitorAdapter.datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)
void	TableauMonitor.datatypeConjunctionCheckingStarted(DatatypeManager.DConjunction conjunction)