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

java.lang.Object
  extended by java.util.AbstractCollection<E>
      extended by java.util.AbstractSet<E>
          extended by java.util.HashSet<org.processmining.framework.util.collection.MultiSet<T>>
              extended by org.processmining.models.graphbased.directed.petrinet.analysis.AbstractInvariantSet<Place>
                  extended by 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
PlaceInvariantSet()
           
PlaceInvariantSet(java.lang.String label)
           
 
Method Summary
 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
 
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
 

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