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
- See Also:
- Serialized Form
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 String toString()
- Overrides:
toString
in class Object
Copyright © 2012. All Rights Reserved.