Monitor.Event class

Abstract class representing an event that can be send to a Monitor.

public abstract class Event

Protected Members

name	description
Event()	The default constructor.

See Also

• class Monitor
• namespace Microsoft.Coyote.Specifications
• assembly Microsoft.Coyote