EventGroup constructor

Initializes a new instance of the EventGroup class.

public EventGroup(Guid id = default, string name = null)

parameter	description
id	The id for this EventGroup (defaults to Guid.Empty).
name	An optional friendly name for this EventGroup.

See Also

• class EventGroup
• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors