org.semanticweb.HermiT.tableau

Interface DependencySet

All Known Implementing Classes:

PermanentDependencySet

public interface DependencySet

Dependency set.

Method Summary

Modifier and Type	Method and Description
boolean	containsBranchingPoint(int branchingPoint)
int	getMaximumBranchingPoint()
boolean	isEmpty()

Method Detail

containsBranchingPoint

boolean containsBranchingPoint(int branchingPoint)

Parameters:

branchingPoint - branchingPoint

Returns:

true if branching point contained

isEmpty

boolean isEmpty()

Returns:

true if empty

getMaximumBranchingPoint

int getMaximumBranchingPoint()

Returns:

max branching point