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