Uses of Interface
org.semanticweb.HermiT.tableau.DLClauseEvaluator.Worker

Packages that use DLClauseEvaluator.Worker

Package	Description
org.semanticweb.HermiT.blocking
org.semanticweb.HermiT.datalog
org.semanticweb.HermiT.existentials
org.semanticweb.HermiT.tableau

Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.blocking

Method parameters in org.semanticweb.HermiT.blocking with type arguments of type DLClauseEvaluator.Worker

Modifier and Type	Method and Description
void	AnywhereBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AncestorBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	BlockingStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	AnywhereValidatedBlocking.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)

Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.datalog

Classes in org.semanticweb.HermiT.datalog that implement DLClauseEvaluator.Worker

Modifier and Type	Class and Description
static class	ConjunctiveQuery.QueryAnswerCallback

Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.existentials

Method parameters in org.semanticweb.HermiT.existentials with type arguments of type DLClauseEvaluator.Worker

Modifier and Type	Method and Description
void	AbstractExpansionStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)
void	ExistentialExpansionStrategy.dlClauseBodyCompiled(List<DLClauseEvaluator.Worker> workers, DLClause dlClause, List<Variable> variables, Object[] valuesBuffer, boolean[] coreVariables)

Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.tableau

Fields in org.semanticweb.HermiT.tableau with type parameters of type DLClauseEvaluator.Worker

Modifier and Type	Field and Description
List<DLClauseEvaluator.Worker>	DLClauseEvaluator.ConjunctionCompiler.m_workers Workers.