Event class

Abstract class representing an event that can be send to an Actor or StateMachine.

public abstract class Event

Protected Members

name	description
Event()	The default constructor.

See Also

• namespace Microsoft.Coyote.Actors
• assembly Microsoft.Coyote.Actors