/// <summary> /// Add a connection between this transition and the given following place. /// </summary> public void AddOutgoingPlace(Place outgoing) { if (!OutgoingPlaces.Contains(outgoing)) { OutgoingPlaces.Add(outgoing); } outgoing.AppendIncomingTransition(this); }
/// <summary> /// Add a connection between this transition and the given following places. /// </summary> public void AddOutgoingPlaces(List <Place> outgoing) { //foreach (Place Place in outgoing) // AddOutgoingPlace(Place); OutgoingPlaces.AddRange(outgoing); foreach (Place place in outgoing) { place.AppendIncomingTransition(this); } }