org.semanticweb.HermiT.tableau
Interface DLClauseEvaluator.Worker

All Known Subinterfaces:
DLClauseEvaluator.BranchingWorker
All Known Implementing Classes:
AnywhereValidatedBlocking.ComputeCoreVariables, DLClauseEvaluator.BranchIfNotEqual, DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan, DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual, DLClauseEvaluator.CallMatchFinishedOnMonitor, DLClauseEvaluator.CallMatchStartedOnMonitor, DLClauseEvaluator.CopyDependencySet, DLClauseEvaluator.CopyValues, DLClauseEvaluator.DeriveBinaryFact, DLClauseEvaluator.DeriveDisjunction, DLClauseEvaluator.DeriveTernaryFact, DLClauseEvaluator.DeriveUnaryFact, DLClauseEvaluator.HasMoreRetrieval, DLClauseEvaluator.JumpTo, DLClauseEvaluator.NextRetrieval, DLClauseEvaluator.OpenRetrieval, DLClauseEvaluator.SetClash
Enclosing class:
DLClauseEvaluator

public static interface DLClauseEvaluator.Worker


Method Summary
 int execute(int programCounter)
           
 

Method Detail

execute

int execute(int programCounter)