public override string ToString () { string s = "S["; foreach(U9Transition t in transitions) { s += t.ToString() + ","; } s.Remove(s.Length-2); s += "]"; return s; } }