|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use DLClauseEvaluator.Worker | |
|---|---|
| org.semanticweb.HermiT.blocking | |
| org.semanticweb.HermiT.existentials | |
| org.semanticweb.HermiT.tableau | |
| Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.blocking |
|---|
| Classes in org.semanticweb.HermiT.blocking that implement DLClauseEvaluator.Worker | |
|---|---|
protected static class |
AnywhereValidatedBlocking.ComputeCoreVariables
|
| Method parameters in org.semanticweb.HermiT.blocking with type arguments of type DLClauseEvaluator.Worker | |
|---|---|
void |
BlockingStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AnywhereValidatedBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AnywhereBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AncestorBlocking.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
| Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.existentials |
|---|
| Method parameters in org.semanticweb.HermiT.existentials with type arguments of type DLClauseEvaluator.Worker | |
|---|---|
void |
ExistentialExpansionStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
void |
AbstractExpansionStrategy.dlClauseBodyCompiled(java.util.List<DLClauseEvaluator.Worker> workers,
DLClause dlClause,
java.util.List<Variable> variables,
java.lang.Object[] valuesBuffer,
boolean[] coreVariables)
|
| Uses of DLClauseEvaluator.Worker in org.semanticweb.HermiT.tableau |
|---|
| Subinterfaces of DLClauseEvaluator.Worker in org.semanticweb.HermiT.tableau | |
|---|---|
protected static interface |
DLClauseEvaluator.BranchingWorker
|
| Fields in org.semanticweb.HermiT.tableau declared as DLClauseEvaluator.Worker | |
|---|---|
protected DLClauseEvaluator.Worker[] |
DLClauseEvaluator.m_workers
|
| Fields in org.semanticweb.HermiT.tableau with type parameters of type DLClauseEvaluator.Worker | |
|---|---|
protected java.util.List<DLClauseEvaluator.Worker> |
DLClauseEvaluator.DLClauseCompiler.m_workers
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||