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

Class PlaceInvariantSet

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<Place>

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

All Implemented Interfaces:

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

public class PlaceInvariantSet
extends AbstractInvariantSet<Place>

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
PlaceInvariantSet()
PlaceInvariantSet(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

PlaceInvariantSet

public PlaceInvariantSet()

PlaceInvariantSet

public PlaceInvariantSet(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<Place>>

Specified by:

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

Overrides:

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