|
||||||||||
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 |