AwaitableEventGroup<T> constructor
Initializes a new instance of the AwaitableEventGroup class.
public AwaitableEventGroup(Guid id = default, string name = null)
| parameter | description |
|---|---|
| id | The id for this AwaitableEventGroup (defaults to Guid.Empty). |
| name | An optional friendly name for this EventGroup. |
See Also
- class AwaitableEventGroup<T>
- namespace Microsoft.Coyote.Actors
- assembly Microsoft.Coyote.Actors