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

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
           
 

Classes in org.semanticweb.HermiT.tableau that implement DLClauseEvaluator.Worker
protected static class DLClauseEvaluator.BranchIfNotEqual
           
protected static class DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan
           
protected static class DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual
           
protected static class DLClauseEvaluator.CallMatchFinishedOnMonitor
           
protected static class DLClauseEvaluator.CallMatchStartedOnMonitor
           
protected static class DLClauseEvaluator.CopyDependencySet
           
protected static class DLClauseEvaluator.CopyValues
           
protected static class DLClauseEvaluator.DeriveBinaryFact
           
protected static class DLClauseEvaluator.DeriveDisjunction
           
protected static class DLClauseEvaluator.DeriveTernaryFact
           
protected static class DLClauseEvaluator.DeriveUnaryFact
           
protected static class DLClauseEvaluator.HasMoreRetrieval
           
protected static class DLClauseEvaluator.JumpTo
           
protected static class DLClauseEvaluator.NextRetrieval
           
protected static class DLClauseEvaluator.OpenRetrieval
           
protected static class DLClauseEvaluator.SetClash
           
 

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