/// <summary> /// Add a connection between this transition and the given preceding place. /// </summary> public void AddIncomingPlace(Place incoming) { //if (!IncomingPlaces.Contains(incoming)) // IncomingPlaces.Add(incoming); //incoming.AppendOutgoingTransition(this); IncomingPlaces.Add(incoming); incoming.AppendOutgoingTransition(this); }
/// <summary> /// Add a connection between this transition and the given preceding place. /// </summary> public void AddIncomingPlaces(List <Place> incoming) { //foreach (Place Place in incoming) // AddIncomingPlace(Place); IncomingPlaces.AddRange(incoming); foreach (Place place in incoming) { place.AppendOutgoingTransition(this); } }