org.semanticweb.HermiT.tableau
Class PermanentDependencySet

java.lang.Object
  extended by 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

Field Summary
protected  int m_branchingPoint
           
protected  PermanentDependencySet m_nextEntry
           
protected  PermanentDependencySet m_nextUnusedSet
           
protected  PermanentDependencySet m_previousUnusedSet
           
protected  PermanentDependencySet m_rest
           
protected  int m_usageCounter
           
 
Constructor Summary
protected PermanentDependencySet()
           
 
Method Summary
 boolean containsBranchingPoint(int branchingPoint)
           
 int getMaximumBranchingPoint()
           
 boolean isEmpty()
           
 java.lang.String toString()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

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
Constructor Detail

PermanentDependencySet

protected PermanentDependencySet()
Method Detail

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