org.processmining.performancespectrumintegration.algorithms.petrinet

Class AdjPlaces

java.lang.Object

org.processmining.performancespectrumintegration.algorithms.petrinet.AdjPlaces

public class AdjPlaces
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
AdjPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> preset, java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> postset)

Method Summary

Modifier and Type	Method and Description
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>	getIntersection()
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>	getPostset()
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place>	getPreset()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AdjPlaces

public AdjPlaces(java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> preset,
                 java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> postset)

Method Detail

getIntersection

public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getIntersection()

getPreset

public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPreset()

getPostset

public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getPostset()