/// <summary> /// Add <paramref name="trans"/> as an Exit transition /// </summary> /// <param name="trans"></param> public void AddAsExit(TransitionGUI trans) { TransitionGUI exitTrans = transitions.Find(t => t.isExit); if (exitTrans) { if (transitions.Remove(exitTrans)) { elementNamer.RemoveName(exitTrans.identificator); } } trans.isExit = true; transitions.Add(trans); }