/// <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);
}
