Event constructor

The default constructor.

protected Event()

See Also

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