public class PetrinetCopyConnection
extends java.lang.Object
Constructor and Description |
---|
PetrinetCopyConnection(com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionConnection,
com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeConnection,
com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Arc,org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcConnection) |
Modifier and Type | Method and Description |
---|---|
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
getCopyArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Arc> |
getCopyArcs() |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getCopyPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getCopyPlaces() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getCopyTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getCopyTransitions() |
org.processmining.models.graphbased.directed.petrinet.elements.Arc |
getOriginalArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Arc> |
getOriginalArcs() |
org.processmining.models.graphbased.directed.petrinet.elements.Place |
getOriginalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> |
getOriginalPlaces() |
org.processmining.models.graphbased.directed.petrinet.elements.Transition |
getOriginalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> |
getOriginalTransitions() |
boolean |
hasOriginalArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a) |
boolean |
hasOriginalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p) |
boolean |
hasOriginalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t) |
void |
putCopyArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc original,
org.processmining.models.graphbased.directed.petrinet.elements.Arc copy) |
void |
putCopyPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place original,
org.processmining.models.graphbased.directed.petrinet.elements.Place copy) |
void |
putCopyTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition original,
org.processmining.models.graphbased.directed.petrinet.elements.Transition copy) |
public PetrinetCopyConnection(com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Transition,org.processmining.models.graphbased.directed.petrinet.elements.Transition> transitionConnection, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Place,org.processmining.models.graphbased.directed.petrinet.elements.Place> placeConnection, com.google.common.collect.BiMap<org.processmining.models.graphbased.directed.petrinet.elements.Arc,org.processmining.models.graphbased.directed.petrinet.elements.Arc> arcConnection)
public boolean hasOriginalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public boolean hasOriginalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public boolean hasOriginalArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a)
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getOriginalTransitions()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Transition> getCopyTransitions()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getOriginalPlaces()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Place> getCopyPlaces()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Arc> getOriginalArcs()
public java.util.Set<org.processmining.models.graphbased.directed.petrinet.elements.Arc> getCopyArcs()
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getCopyTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public org.processmining.models.graphbased.directed.petrinet.elements.Transition getOriginalTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition t)
public org.processmining.models.graphbased.directed.petrinet.elements.Place getCopyPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public org.processmining.models.graphbased.directed.petrinet.elements.Place getOriginalPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place p)
public org.processmining.models.graphbased.directed.petrinet.elements.Arc getCopyArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a)
public org.processmining.models.graphbased.directed.petrinet.elements.Arc getOriginalArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc a)
public void putCopyTransition(org.processmining.models.graphbased.directed.petrinet.elements.Transition original, org.processmining.models.graphbased.directed.petrinet.elements.Transition copy)
public void putCopyPlace(org.processmining.models.graphbased.directed.petrinet.elements.Place original, org.processmining.models.graphbased.directed.petrinet.elements.Place copy)
public void putCopyArc(org.processmining.models.graphbased.directed.petrinet.elements.Arc original, org.processmining.models.graphbased.directed.petrinet.elements.Arc copy)