org.semanticweb.HermiT.tableau
Class PermanentDependencySet
java.lang.Object
org.semanticweb.HermiT.tableau.PermanentDependencySet
- All Implemented Interfaces:
- java.io.Serializable, DependencySet
public final class PermanentDependencySet
- extends java.lang.Object
- implements DependencySet, java.io.Serializable
- See Also:
- Serialized Form
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
m_rest
protected PermanentDependencySet m_rest
m_branchingPoint
protected int m_branchingPoint
m_nextEntry
protected PermanentDependencySet m_nextEntry
m_usageCounter
protected int m_usageCounter
m_previousUnusedSet
protected PermanentDependencySet m_previousUnusedSet
m_nextUnusedSet
protected PermanentDependencySet m_nextUnusedSet
PermanentDependencySet
protected PermanentDependencySet()
containsBranchingPoint
public boolean containsBranchingPoint(int branchingPoint)
- Specified by:
containsBranchingPoint
in interface DependencySet
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interface DependencySet
getMaximumBranchingPoint
public int getMaximumBranchingPoint()
- Specified by:
getMaximumBranchingPoint
in interface DependencySet
toString
public java.lang.String toString()
- Overrides:
toString
in class java.lang.Object