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

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

Uses of DLClauseEvaluator in org.semanticweb.HermiT.debugger
 

Methods in org.semanticweb.HermiT.debugger with parameters of type DLClauseEvaluator
 void DerivationHistory.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator)
           
 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
 void TableauMonitorForwarder.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitorFork.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitorAdapter.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitor.dlClauseMatchedFinished(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitorForwarder.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitorFork.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitorAdapter.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 void TableauMonitor.dlClauseMatchedStarted(DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
 

Uses of DLClauseEvaluator in org.semanticweb.HermiT.tableau
 

Fields in org.semanticweb.HermiT.tableau declared as DLClauseEvaluator
protected  DLClauseEvaluator DLClauseEvaluator.DLClauseCompiler.m_dlClauseEvalautor
           
protected  DLClauseEvaluator DLClauseEvaluator.CallMatchStartedOnMonitor.m_dlClauseEvaluator
           
protected  DLClauseEvaluator DLClauseEvaluator.CallMatchFinishedOnMonitor.m_dlClauseEvaluator
           
protected  DLClauseEvaluator HyperresolutionManager.CompiledDLClauseInfo.m_evaluator
           
 

Constructors in org.semanticweb.HermiT.tableau with parameters of type DLClauseEvaluator
DLClauseEvaluator.CallMatchFinishedOnMonitor(TableauMonitor tableauMonitor, DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
DLClauseEvaluator.CallMatchStartedOnMonitor(TableauMonitor tableauMonitor, DLClauseEvaluator dlClauseEvaluator, int dlClauseIndex)
           
DLClauseEvaluator.DLClauseCompiler(DLClauseEvaluator.BufferSupply bufferSupply, DLClauseEvaluator.ValuesBufferManager valuesBufferManager, DLClauseEvaluator.GroundDisjunctionHeaderManager groundDisjunctionHeaderManager, java.util.Map<java.lang.Integer,UnionDependencySet> unionDependencySetsBySize, DLClauseEvaluator dlClauseEvalautor, ExtensionManager extensionManager, ExistentialExpansionStrategy existentialExpansionStrategy, DLClause bodyDLClause, java.util.List<DLClause> headDLClauses, ExtensionTable.Retrieval firstAtomRetrieval)
           
HyperresolutionManager.CompiledDLClauseInfo(DLClauseEvaluator evaluator, HyperresolutionManager.CompiledDLClauseInfo next)