org.semanticweb.HermiT.tableau
Class UnionDependencySet
java.lang.Object
org.semanticweb.HermiT.tableau.UnionDependencySet
- All Implemented Interfaces:
- java.io.Serializable, DependencySet
public final class UnionDependencySet
- 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, toString, wait, wait, wait |
m_numberOfConstituents
protected int m_numberOfConstituents
m_dependencySets
protected DependencySet[] m_dependencySets
UnionDependencySet
public UnionDependencySet(int numberOfConstituents)
containsBranchingPoint
public boolean containsBranchingPoint(int branchingPoint)
- Specified by:
containsBranchingPoint
in interface DependencySet
getMaximumBranchingPoint
public int getMaximumBranchingPoint()
- Specified by:
getMaximumBranchingPoint
in interface DependencySet
isEmpty
public boolean isEmpty()
- Specified by:
isEmpty
in interface DependencySet
clearConstituents
public void clearConstituents()
addConstituent
public void addConstituent(DependencySet constituent)