org.semanticweb.HermiT.tableau

Class PermanentDependencySet

java.lang.Object

org.semanticweb.HermiT.tableau.PermanentDependencySet

All Implemented Interfaces:

Serializable, DependencySet

public final class PermanentDependencySet
extends Object
implements DependencySet, Serializable

PermanentDependencySet.

See Also:

Serialized Form

Method Summary

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

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

containsBranchingPoint

public boolean containsBranchingPoint(int branchingPoint)

Specified by:

containsBranchingPoint in interface DependencySet

Parameters:

branchingPoint - branchingPoint

Returns:

true if branching point contained

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface DependencySet

Returns:

true if empty

getMaximumBranchingPoint

public int getMaximumBranchingPoint()

Specified by:

getMaximumBranchingPoint in interface DependencySet

Returns:

max branching point

toString

public String toString()

Overrides:

toString in class Object