org.semanticweb.HermiT.tableau
Interface DependencySet

All Known Implementing Classes:
PermanentDependencySet, UnionDependencySet

public interface DependencySet


Method Summary
 boolean containsBranchingPoint(int branchingPoint)
           
 int getMaximumBranchingPoint()
           
 boolean isEmpty()
           
 

Method Detail

containsBranchingPoint

boolean containsBranchingPoint(int branchingPoint)

isEmpty

boolean isEmpty()

getMaximumBranchingPoint

int getMaximumBranchingPoint()