Esempio n. 1
0
 /// <summary>
 ///   Nondeterministically chooses an initial state.
 /// </summary>
 void IInitializable.Initialize()
 {
     State = Choice.Choose(_initialStates);
 }