org.processmining.models.graphbased.directed.petrinet.analysis
Class AbstractComponentSet<T extends PetrinetNode>

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractSet<E>
          extended by java.util.HashSet<java.util.SortedSet<T>>
              extended by org.processmining.models.graphbased.directed.petrinet.analysis.AbstractComponentSet<T>
All Implemented Interfaces:
java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<java.util.SortedSet<T>>, java.util.Collection<java.util.SortedSet<T>>, java.util.Set<java.util.SortedSet<T>>
Direct Known Subclasses:
DeadTransitionsSet, NonExtendedFreeChoiceClustersSet, NonFreeChoiceClustersSet, NonLiveTransitionsSet, NonRelaxedSoundTransitionsSet, NotPCoveredNodesSet, NotSCoveredNodesSet, SComponentSet, SinkPlacesSet, SiphonSet, SourcePlacesSet, TComponentSet, TrapSet, UnboundedPlacesSet, UnconnectedNodesSet

public abstract class AbstractComponentSet<T extends PetrinetNode>
extends java.util.HashSet<java.util.SortedSet<T>>

This class represents a node marking. A set in this class stores place/transition which is need to be marked. A set of set enables this class to store several set of place/transition which are need to be marked.

Version:
Oct 5, 2008
Author:
arya
See Also:
Serialized Form

Constructor Summary
AbstractComponentSet(java.lang.String label)
          Default constructor
 
Method Summary
 java.lang.String getLabel()
          getter for label
 
Methods inherited from class java.util.HashSet
add, clear, clone, contains, isEmpty, iterator, remove, size
 
Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll
 
Methods inherited from class java.util.AbstractCollection
addAll, containsAll, retainAll, toArray, toArray, toString
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 
Methods inherited from interface java.util.Set
addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray
 

Constructor Detail

AbstractComponentSet

public AbstractComponentSet(java.lang.String label)
Default constructor

Method Detail

getLabel

public java.lang.String getLabel()
getter for label

Returns: