org.processmining.models.graphbased.directed.petrinet.analysis

Class AbstractComponentSet<T extends PetrinetNode>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<java.util.SortedSet<T>>

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

Constructors

Constructor and Description
AbstractComponentSet(java.lang.String label) Default constructor

Method Summary

Methods

Modifier and Type	Method and Description
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: