220
220
this.outputArc = outputArc;
223
public TimedOutputArcComponent copy(TimedArcPetriNet tapn, DataLayer guiModel, Hashtable<PlaceTransitionObject, PlaceTransitionObject> oldToNewMapping) {
223
public TimedOutputArcComponent copy(TimedArcPetriNet tapn, Hashtable<PlaceTransitionObject, PlaceTransitionObject> oldToNewMapping) {
224
224
TimedOutputArcComponent newCopyArc = new TimedOutputArcComponent(this);
225
225
newCopyArc.setSource(oldToNewMapping.get(this.getSource()));
226
226
newCopyArc.setTarget(oldToNewMapping.get(this.getTarget()));