org.semanticweb.HermiT.tableau
Interface DLClauseEvaluator.BranchingWorker

All Superinterfaces:
DLClauseEvaluator.Worker
All Known Implementing Classes:
DLClauseEvaluator.BranchIfNotEqual, DLClauseEvaluator.BranchIfNotNodeIDLessEqualThan, DLClauseEvaluator.BranchIfNotNodeIDsAscendingOrEqual, DLClauseEvaluator.HasMoreRetrieval, DLClauseEvaluator.JumpTo
Enclosing class:
DLClauseEvaluator

protected static interface DLClauseEvaluator.BranchingWorker
extends DLClauseEvaluator.Worker


Method Summary
 int getBranchingAddress()
           
 void setBranchingAddress(int branchingAddress)
           
 
Methods inherited from interface org.semanticweb.HermiT.tableau.DLClauseEvaluator.Worker
execute
 

Method Detail

getBranchingAddress

int getBranchingAddress()

setBranchingAddress

void setBranchingAddress(int branchingAddress)