org.semanticweb.HermiT.tableau
Class UnionDependencySet

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

Field Summary
protected  DependencySet[] m_dependencySets
           
protected  int m_numberOfConstituents
           
 
Constructor Summary
UnionDependencySet(int numberOfConstituents)
           
 
Method Summary
 void addConstituent(DependencySet constituent)
           
 void clearConstituents()
           
 boolean containsBranchingPoint(int branchingPoint)
           
 int getMaximumBranchingPoint()
           
 boolean isEmpty()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

m_numberOfConstituents

protected int m_numberOfConstituents

m_dependencySets

protected DependencySet[] m_dependencySets
Constructor Detail

UnionDependencySet

public UnionDependencySet(int numberOfConstituents)
Method Detail

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)