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

Class TransitionInvariantSet

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<org.processmining.framework.util.collection.MultiSet<T>>

org.processmining.models.graphbased.directed.petrinet.analysis.AbstractInvariantSet<Transition>

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

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<org.processmining.framework.util.collection.MultiSet<Transition>>, java.util.Collection<org.processmining.framework.util.collection.MultiSet<Transition>>, java.util.Set<org.processmining.framework.util.collection.MultiSet<Transition>>

public class TransitionInvariantSet
extends AbstractInvariantSet<Transition>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
TransitionInvariantSet()
TransitionInvariantSet(java.lang.String label)

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object o)

Methods inherited from class org.processmining.models.graphbased.directed.petrinet.analysis.AbstractInvariantSet

getLabel

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator

Methods inherited from class java.util.AbstractSet

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, hashCode, removeAll, retainAll, toArray, toArray

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

TransitionInvariantSet

public TransitionInvariantSet()

TransitionInvariantSet

public TransitionInvariantSet(java.lang.String label)

Method Detail

equals

public boolean equals(java.lang.Object o)

Specified by:

equals in interface java.util.Collection<org.processmining.framework.util.collection.MultiSet<Transition>>

Specified by:

equals in interface java.util.Set<org.processmining.framework.util.collection.MultiSet<Transition>>

Overrides:

equals in class java.util.AbstractSet<org.processmining.framework.util.collection.MultiSet<Transition>>